tools.malv.in

The following tools are or will be available here.

Logic

• genz-web, a sequent calculus prover with
• smcdelweb
• tapdleau
• tapdleau-borzechowski

Fediverse

• fedi poll view, a page to show all polls made by a given account