SWI-Tinker for G4-mic F.O.L. Prover
https://g4-mic.vidal-rosset.net/wasm/tinker
To get MathJax images of LaTeX proofs: Ctrl + m
To get png images : Ctrl + i
To get only Fitch proofs in png images: Ctrl + l
Enjoy !
3 Likes