altair-39/LPI
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Mirror of https://codeberg.org/altair-39/LPI
3 commits 1 branch 0 tags 35 KiB
  • Coq 46.8%
  • SMT 29.4%
  • C 23.8%
Find a file
Exact
altair a89f4eb481 minor changes
2026-02-19 17:00:43 +01:00
00-Prelude minor changes 2026-02-19 17:00:43 +01:00
.gitignore Initial commit 2026-02-16 09:32:19 +01:00
LICENSE Initial commit 2026-02-16 09:32:19 +01:00
README.md Initial commit 2026-02-16 09:32:19 +01:00

README.md

LPI

My exercise for LPI (Logica per l'Informatica) (2025/2026).