This is a rather late alpha version of the software. Please let us know of any bugs. Note also that on Macs you need to download Coq. please read the instructions
spatchcoqonline
is an experimental online version based on Emilio Jesús Gallego Arias’ wonderful coq-serapi
If you prefer the desktop version (much more mature):
Download instructions
Ubuntu download
Documentation
Video of a simple propositional calculus proof
Video of a simple set theory proof: