This website requires JavaScript.
Explore
Help
Sign in
SinTan1729
/
comm_alg
Watch
1
Star
0
Fork
You've already forked comm_alg
0
mirror of
https://github.com/GTBarkley/comm_alg.git
synced
2024-12-24 22:58:36 -06:00
Code
Issues
Projects
Releases
Packages
Wiki
Activity
main
comm_alg
/
lean-toolchain
GTBarkley
646f1f9732
initial commit
2023-06-09 23:35:49 +00:00
1 line
36 B
Text
Raw
Permalink
Blame
History
leanprover/lean4:nightly-2023-06-07
Reference in a new issue
View git blame
Copy permalink