proof-assistants

There are 0 repository under proof-assistants topic.

• newca12 / awesome-rust-formalized-reasoning

  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

  formal-verificationproverautomated-theorem-proverstheorem-proverreasoninglogicconstructive-mathematicsdependent-typestheorem-provingproof-assistantsrust
  279

• homotopy-io / homotopy-rs

  A Rust/WASM implementation of homotopy.io

  category-theorydiagramdiagramshigher-category-theorymathmathematicsmathsproof-assistantproof-assistantsruststring-diagramstring-diagrams
  Language:Rust 73

• uwplse / pumpkin-pi

  An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

  coqcoq-pluginpumpkin-patchdevoidornamentsproof-reusedependent-typesalgebraic-ornamentspumpkin-piequivalencestransportproof-repairrepairrefactoringproof-refactoringproof-assistants
  Language:Coq 49

• Negabinary / Math-Playground

  A GUI proof assistant

  mathsproofproof-assistants
  Language:GDScript 4
• punctilious

  daviddoret / punctilious

  A human-friendly and developer-friendly math proof assistant

  formal-methodsformal-systemmathmathematicsproofproof-assistantproof-assistants
  Language:Python 2

• DPDmancul / agda-examples

  Some examples of the usage of Agda as proof assistant. Mirror of https://gitlab.com/DPDmancul/agda-examples

  agdabookexampleexamplesmdbookproof-assistantproof-assistants
  Language:Agda

• wkolowski / Dependent-Types-and-Theorem-Proving

  Slides and code snippets for a talk I have given in November 2021.

  fstarproof-assistantstype-theory
  Language:TeX