octagonal/picolog
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
23 Commits 4 Branches 0 Tags
main
Commit Graph

3 Commits

Author SHA1 Message Date
Albin Chaboissier
298d179943 Adds not prover 2026-02-10 00:07:06 +01:00
Albin Chaboissier
70afc2a201 Putting provers in separate files 2026-02-09 23:26:29 +01:00
Albin Chaboissier
134ebc6dc6 Working 2026-02-08 22:48:51 +01:00