cyberglot/lean4-playground
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
5 commits 1 branch 0 tags 34 KiB
  • Lean 100%
Find a file
Exact
april 463dea04b3 oops I found a bug
2024-06-03 13:28:04 +01:00
fp oops I found a bug 2024-06-03 13:28:04 +01:00