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

3659

146

3 个月前

AthenaFoundation / athena

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

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

Standard ML

71

4

16 小时前

catseye / Maxixe

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

dsl propositional-logic predicate-logic proof-language

Python

10

0

1 年前

catseye / Eqthy

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

Python

4

1

1 年前

not noq

Rust simple theorem-prover theorem-proving proof-language

Rust

3

1

1 年前