GitHub - propel-prover/propel-prover.github.io: Website for the Propel prover

Name		Name	Last commit message	Last commit date
Latest commit History 55 Commits
diagrams		diagrams
fonts		fonts
crdt.svg		crdt.svg
editor.js		editor.js
favicon.png		favicon.png
gcounter.svg		gcounter.svg
index.html		index.html
logo-sticker.svg		logo-sticker.svg
logo.svg		logo.svg
propel.min.js		propel.min.js
style.css		style.css
twitter_card.png		twitter_card.png