jhuizy/ghosts

Ghosts

Intro

A demonstration of the Ghosts of departed proofs in a simple web app

Development

git clone https://github.com/jhuizy/ghosts 
cd ghosts 
nix-shell

References

• https://ocharles.org.uk/posts/2019-08-09-who-authorized-these-ghosts.html
• https://chrisdone.com/posts/ghost-of-departed-proofs-conveniences/