https://github.com/timjb/set-theory-prover

Simple LCF-style proof assistant for ZFC
https://github.com/timjb/set-theory-prover

hilbert-calculus lcf-style proof-assistant set-theory zfc

Last synced: about 1 year ago
JSON representation

Simple LCF-style proof assistant for ZFC

• Host: GitHub
• URL: https://github.com/timjb/set-theory-prover
• Owner: timjb
• License: bsd-3-clause
• Created: 2017-10-21T08:25:35.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-11-02T17:15:35.000Z (over 8 years ago)
• Last Synced: 2025-04-30T04:49:32.345Z (about 1 year ago)
• Topics: hilbert-calculus, lcf-style, proof-assistant, set-theory, zfc
• Language: Haskell
• Size: 81.1 KB
• Stars: 6
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# set-theory-prover

[![Build Status][travis-image]][travis-url]

[travis-image]: https://travis-ci.org/timjb/set-theory-prover.svg?branch=master

[travis-url]: https://travis-ci.org/timjb/set-theory-prover