~jleightcap/agda-playground

misc agda proofs
NAE3 completeness proof
hutton's razor with variables
propositional, predicate logic

refs

main
browse  log 

clone

read-only
https://git.sr.ht/~jleightcap/agda-playground
read/write
git@git.sr.ht:~jleightcap/agda-playground

You can also use your local clone with git send-email.