yousiki/coq-software-foundations
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Unofficial solutions to Software Foundations exercises.
4 commits 1 branch 0 tags 6 MiB
Find a file
Exact
yousiki fd04c55a86 Add volumes and update README.md
2025-12-12 22:54:51 +09:00
logical-foundations Add volumes and update README.md 2025-12-12 22:54:51 +09:00
programming-language-foundations Add volumes and update README.md 2025-12-12 22:54:51 +09:00
README.md Add volumes and update README.md 2025-12-12 22:54:51 +09:00

README.md

🙋 Software Foundations Solutions

Unofficial solutions to Software Foundations exercises.

⚠️ This repo is only for those who encountered difficulties in learning Coq, and use it at your own risk.

Contents