empath-nirvana/bolo-formalization
A lean formalization of the From Linearity to Borrowing paper
Lean
2 contributors
Social mentions
Recent discussions about this repository across the web
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues
Data is not available yet
Recent activity data for stars, forks, merged PRs, issues, and closed issues will appear here once available