Giters

timjb / set-theory-prover

Simple LCF-style proof assistant for ZFC

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

set-theoryproof-assistantlcf-stylezfchilbert-calculus

set-theory-prover

Build Status

About

Simple LCF-style proof assistant for ZFC

set-theoryproof-assistantlcf-stylezfchilbert-calculus

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 100.0%