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: 11 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 on top of Rust. | 114 |
 liamoc/holbert | An interactive proof assistant designed to help with educational mathematics | 164 |
 rzk-lang/rzk | A proof assistant based on a type theory for synthetic ∞-categories. | 212 |
 ai-citizen/solidgpt | An AI-powered search assistant for developers to find code and workspace information quickly. | 2,021 |
 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. | 660 |
 01-ai/yi-1.5 | An artificial intelligence model designed to improve coding, math, and reasoning capabilities while maintaining language understanding | 531 |
 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 | 191 |
 math-comp/coq-combi | Formalizes algebraic combinatorics and symmetric functions in Coq. | 37 |
 ecrancemerce/trakt | Automates goal preprocessing in proof automation tactics using a custom-built tool | 15 |
 jhpyle/docassemble | An expert system for guided interviews and document assembly using Python, YAML, and Markdown. | 797 |
 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 |