cruhland/gentzen cruhland/gentzen

  • Stars
    star
    1
  • Language
    Scala
  • License
    MIT License
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cruhland/gentzen
github

cruhland

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Interactive theorem proving using natural deduction

More Repositories

1

tlpi-rust

Translating programs from the book "The Linux Programming Interface" to Rust
Rust
7
star
2

agda-analysis

Terence Tao's Analysis I, formalized in Agda
Agda
6
star
3

agda-quotients

Examples of quotient types in Agda
Agda
3
star
4

lean4-analysis

Lean
2
star
5

python-drills

Learn Python syntax through repetition
Python
2
star
6

js-scratchpad

My attempt to learn JavaScript by building things
JavaScript
1
star
7

pyfind

Tutorial for writing a Python implementation of the Unix 'find' command
Python
1
star
8

computer-systems-class

Resources for teaching computer systems fundamentals
C
1
star