elliotglazer/solid-lean
An extension of Lean's idealized type theory which is formally verified to have the metamathematical property of solidity.
Lean
1
1
0Apache License 2.0
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