arkitu/plouf
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
096aeabd6d
plouf/README.md
Arkitu 151e108e4a make README markdown
2025-12-19 19:56:19 +01:00

42 B
Raw Blame History

PLOUF

Proof Language Of Undeniable Facts