~jonsterling/coq-sgdt 

rename
docs
docs

refs

main
browse  log 

clone

read-only
https://git.sr.ht/~jonsterling/coq-sgdt
read/write
git@git.sr.ht:~jonsterling/coq-sgdt

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

#coq-synthetic-guarded-domain-theory

Do not follow this link