Go to file
2025-12-20 19:11:28 +01:00
doc add examples and reference 2025-12-20 19:11:28 +01:00
examples add examples and reference 2025-12-20 19:11:28 +01:00
src first commit 2025-12-19 19:53:20 +01:00
.gitignore first commit 2025-12-19 19:53:20 +01:00
Cargo.lock add examples and reference 2025-12-20 19:11:28 +01:00
Cargo.toml first commit 2025-12-19 19:53:20 +01:00
LICENSE add gpl license 2025-12-19 20:10:58 +01:00
README.md make README markdown 2025-12-19 19:56:19 +01:00

PLOUF

Proof Language Of Undeniable Facts