alcides / aeonLinks
Aeon programming language
☆24Updated 2 weeks ago
Alternatives and similar repositories for aeon
Users that are interested in aeon are comparing it to the libraries listed below
Sorting:
- Pedagogical first-order prover in Python☆77Updated 5 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆31Updated this week
- Language based on Rewriting Logic☆148Updated last week
- Forge: A Tool and Language for Teaching Formal Methods☆92Updated 2 weeks ago
- library learning w egraphs☆21Updated 2 years ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆114Updated 5 months ago
- ☆117Updated this week
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated this week
- A toolkit for enforcing logical specifications on neural networks☆118Updated this week
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated last year
- A Low Barrier Proof Assistant☆142Updated this week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆118Updated last week
- A gentle introduction to Isabelle and Isabelle/HOL☆15Updated 8 months ago
- ☆43Updated 2 weeks ago
- The TacTok automated Coq proof script synthesis tool☆17Updated last year
- embedding MLIR in LEAN☆48Updated last year
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆31Updated this week
- This package provides an interface and foundation for verified SAT reasoning☆55Updated last year
- Very controlled natural language tactics for Lean☆64Updated last year
- ☆19Updated last year
- LLVM support for the lean theorem prover☆52Updated 4 years ago
- A mechanisation of Wasm in Isabelle.☆30Updated last week
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆98Updated last week
- Prolog, Datalog, languages, resources, and beyond!☆33Updated last year
- An LLVM interface for Lean 4. (WIP)☆25Updated 2 years ago
- The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials☆67Updated 7 months ago