j-bob
Proof Assistant
A proof assistant with a formal system for verifying mathematical theorems and proofs
420 stars
32 watching
63 forks
Language: Scheme
last commit: 10 months ago
Linked from 1 awesome list
lucasviola/awesome-functional-programmingRelated projects:
| Repository | Description | Stars |
|---|---|---|
 andrew-johnson-4/lsts | A programming language and proof assistant built around type theory and lambda calculus. | 114 |
 liamoc/holbert | An interactive proof assistant designed to help with educational mathematics | 161 |
 rzk-lang/rzk | An experimental proof assistant built on top of a type theory for synthetic ∞-categories. | 205 |
 ai-citizen/solidgpt | An AI-powered assistant for developers to search and understand codebases and workspaces. | 2,015 |
 ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
 kibitzr/kibitzr | A personal web assistant written in Python that automates routine tasks and provides a simple interface for users. | 657 |
 01-ai/yi-1.5 | An artificial intelligence model designed to improve coding, math, and reasoning capabilities while maintaining language understanding | 517 |
 uwplse/structtact | A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants. | 21 |
 whonore/coqtail | Enables interactive proof development in Vim similar to other proof assistants. | 274 |
 coq/platform | A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching | 188 |
 math-comp/coq-combi | Formalises algebraic combinatorics in Coq using symmetric functions and polynomials | 36 |
 ecrancemerce/trakt | Automates goal preprocessing in proof automation tactics using a custom-built tool | 14 |
 jhpyle/docassemble | An expert system for guided interviews and document assembly using Python, YAML, and Markdown. | 790 |
 dutir-legalintelligence/tailing | A tool designed to assist judicial professionals in analyzing and understanding cases by providing text verification, information extraction, and sentencing assistance capabilities. | 16 |
 watson-developer-cloud/assistant-simple | Demonstrates the Watson Assistant API | 481 |