Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/carstenkoenig/purescript-fitch-prover

fun little tool for Fitch-style proofs inspired by a Stanford logic course on Coursera
https://github.com/carstenkoenig/purescript-fitch-prover

fitch-proofs halogen purescript

Last synced: 23 days ago
JSON representation

fun little tool for Fitch-style proofs inspired by a Stanford logic course on Coursera

Awesome Lists containing this project

README

        

# purescript-fitch-prover
fun little tool for Fitch-style proofs inspired by a Stanford logic course on Coursera

you can test it [here](https://fitch.leastfixedpoint.net)

![demo](./fitch.gif)