scratches/software_foundation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
software_foundation/basics
History
qwjyh 2df3232863 till Basics/Proof by Simplification
2024-09-26 04:36:06 +09:00
..
main.lean till Basics/Proof by Simplification 2024-09-26 04:36:06 +09:00