Bonorinoa/leanecon_v3
**A research-grade agentic formalizer and verifier for economic theory.**
Python
2 contributors
Apache License 2.0
Social mentions
Recent discussions about this repository across the web
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
Data is not available yet
Recent activity data for stars, forks, merged PRs, issues, and closed issues will appear here once available
