proof-language

There are 0 repository under proof-language topic.

• kind

  HigherOrderCO / kind

  Temporary repository for Kind2's refactor based on HVM2
  Language:Rust 144

• AthenaFoundation / athena

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

  formal-verificationlogicproof-assistanttheorem-provingnatural-deductionfunctional-programmingproof-language
  Language:Standard ML 61

• catseye / Maxixe

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

  proofproof-checkingdslpropositional-logicpredicate-logicnatural-deductionproof-languageproof-checker
  Language:Python 10

• catseye / Eqthy

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

  equational-logicequational-theoryproof-checkerproof-checkingproof-language
  Language:Python 4

• pro465 / nnoq

  not noq

  rustsimpletheorem-provertheorem-provingproof-checkerproof-checkingproof-language
  Language:Rust 4