pics as prooves or helpful
-
Updated
Sep 23, 2018
pics as prooves or helpful
Computerized proof system on the web
A tiny proof assistant for local set theory, in λ-Prolog.
Elaboración de demostraciones con Lean.
super tiny implementation of higher-order logic proof assistant in lean
A LUG Talk about Idris, a general purpose language with dependent types.
the rational proof assistant
Griffon is the combination of a novel transformer architecture and a Coq plugin that allows user to ask for useful lemma suggestions while trying to prove a theorem
Principia: Metamath-like Logician Language
Lecture course on verified Functional Data Structures
A drag-and-drop proof assistant inspired by Scratch.
These are the files used in a talk
Personal research notes
Collaborative repo for Big Proof Programme at the Isaac Newton Institute, Jun 26 to Aug 4, 2017
A Typescript/JS framework for building proof assistants. Under development.
Dependently typed lambda calculus - A Simple Proof Assistant
Master Thesis Project at LARA (EPFL)
A small and simple set of automated proofs written in Isabelle
Add a description, image, and links to the proof-assistant topic page so that developers can more easily learn about it.
To associate your repository with the proof-assistant topic, visit your repo's landing page and select "manage topics."