Repository navigation

#

proof-language

Website
Wikipedia

HigherOrderCO/Kind

HigherOrderCO / Kind

A modern proof language

formality lambda-calculus type-theory proof-language 函数式编程 dependent-types moonad proof-languages theorem-prover

Haskell

3692

147

7 个月前

AthenaFoundation / athena

Athena is a modern, practical language for proof engineering & natural deduction.

formal-verification logic proof-assistant theorem-proving 函数式编程 proof-language

Standard ML

73

4

18 天前

catseye / Maxixe

MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker

dsl propositional-logic predicate-logic proof-language

Python

11

1

2 年前

catseye / Eqthy

MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs

Python

6

2

2 年前

not noq

Rust simple theorem-prover theorem-proving proof-language

Rust

3

1

2 年前