Submit repository
Discover trends that matter
Trending repositories
Daily
Weekly
Monthly
Yearly
Live mentions
Topics
GitHub trending
Repositories
Developers
Insights
Stats
AxiomMath/AgreeToDisagree — GitHub trending stats & insights | Trendshift
Sponsor spot open
·
promote your product
AxiomMath/AgreeToDisagree
#
Programming examples
Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"
Visit GitHub
Lean
16
2
3 contributors
MIT License
website
Social mentions
Recent discussions about this repository across the web
.@axiommathai has pushed formal verification beyond pure math into economics. → It announced EconLib, a Lean-based library for economic theory ▪️ The project starts with a formalization of Robert…
@TheTuringPost · x.com
We believe math underlies every quantitative field -physics, computer science, economics - so we don't stop at math. Through theorem proving and autoformalization, AxiomProver reaches them all. This…
@axiommathai · x.com
No trending activity
This repository has not yet been featured on GitHub Trending
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues