This website requires JavaScript.
Explore
Help
Sign In
greg
0 Followers
·
0 Following
Joined on
2021-04-16
Repositories
39
Projects
Packages
Public Activity
Starred Repositories
Search
Sort
Newest
Oldest
Alphabetically
Reverse alphabetically
Recently updated
Least recently updated
Most stars
Fewest stars
Most forks
Fewest forks
theorem-provers
Lean
0
0
My experimentation with theorem provers
Updated
2022-05-30 19:22:51 -07:00