~pounce/demo

Lean 4 demo
87e1c5ba — Calvin Lee 3 years ago 
Fix for nightly
88ba8bc9 — Calvin Lee 3 years ago 
Initial commit

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~pounce/demo
read/write
git@git.sr.ht:~pounce/demo

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