scratches/software_foundation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
3 commits 1 branch 0 tags 26 KiB
Lean 100%
Find a file
qwjyh 2df3232863 till Basics/Proof by Simplification
2024-09-26 04:36:06 +09:00
basics till Basics/Proof by Simplification 2024-09-26 04:36:06 +09:00
README.adoc init 2024-09-25 17:16:54 +09:00

README.adoc 

= README

== これは何
https://softwarefoundations.cis.upenn.edu[Software Foundation]をやる。