]> Git — Sourcephile - majurity.git/tree
protocol: align Proof on Belenios' (slower) calculus
-rw-r--r-- 100 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 3514 GNUmakefile
-rw-r--r-- 245 HLint.hs
drwxr-xr-x - hjugement-cli
drwxr-xr-x - hjugement-protocol
drwxr-xr-x - hjugement