"proving-contest"-backends for several theorem provers
☆13Oct 15, 2024Updated last year
Alternatives and similar repositories for proving-contest-backends
Users that are interested in proving-contest-backends are comparing it to the libraries listed below
Sorting:
- A client for Isabelle server (https://isabelle.in.tum.de)☆13Feb 16, 2026Updated 3 weeks ago
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Mar 2, 2021Updated 5 years ago
- ☆38May 31, 2023Updated 2 years ago
- ☆16Jan 4, 2021Updated 5 years ago
- These are Lean translations of Ninety-Nine Haskell Problems (WIP)☆16Feb 28, 2025Updated last year
- Linter component for Isabelle.☆20Dec 20, 2025Updated 2 months ago
- GitHub action for standard CI in Lean projects☆31Jan 15, 2026Updated last month
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated 7 months ago
- A toy implementation of socket programming for Lean 4.☆27Feb 23, 2023Updated 3 years ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆66Jul 18, 2024Updated last year
- GPI-Space: Memory Driven Computing and Big Data☆10Jan 2, 2025Updated last year
- Try a tactic at each step in a Lean proof.☆35Mar 1, 2026Updated last week
- A Fast Floating-Point Satisfiability Solver☆29Jul 26, 2025Updated 7 months ago
- A Scala library for controlling/interacting with Isabelle☆42Feb 4, 2026Updated last month
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Demo repository showcasing how to use reusable workflows to build artifact attestations☆14Feb 16, 2026Updated 3 weeks ago
- ☆15Oct 14, 2025Updated 4 months ago
- This project converts structured Lean code into an interactive browser game.☆79Nov 15, 2023Updated 2 years ago
- A type checker for the Lean theorem prover☆40Mar 6, 2021Updated 5 years ago
- Self-evaluating RAG application on LangCheck docs☆11Sep 10, 2025Updated 5 months ago
- A Lean file formatter☆70Feb 3, 2023Updated 3 years ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- ☆10May 2, 2025Updated 10 months ago
- ☆21Updated this week
- IonQ iQuHACK 2024 Remote Challenge☆11Feb 3, 2024Updated 2 years ago
- Fork of Triton repository for OpenXLA uses of the Triton language and compiler☆15Feb 24, 2026Updated last week
- A NOMAD plugin containing base sections for material processing.☆11Jan 20, 2026Updated last month
- Handles OpenDocument files and translates them to HTML.☆10Oct 8, 2019Updated 6 years ago
- A Python client library for accessing IQM quantum computers☆12Mar 26, 2025Updated 11 months ago
- Simple getting started procedure for SciCat☆11Updated this week
- gammcor code☆11Sep 25, 2025Updated 5 months ago
- PSI-MOD ontology for modified and unmodified amino acid residues☆14Jan 8, 2026Updated 2 months ago
- Amplify your coding capabilities with AI - your smart co-pilot for an elevated coding experience.☆14Feb 18, 2026Updated 2 weeks ago
- Paper dataset for "Factored Verification: Detecting and Reducing Hallucination in Summaries of Academic Papers"☆12Oct 20, 2024Updated last year
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- A framework for few-shot evaluation of autoregressive language models.☆12Jul 14, 2025Updated 7 months ago
- Lean4 port of Arduino balance car controller☆50Mar 17, 2021Updated 4 years ago
- LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines …☆79Feb 25, 2026Updated last week
- NeRF - Neural Radiance Fileds in MATLAB☆10Jan 17, 2024Updated 2 years ago