BJdeBordeaux / SULinks
exercices for assignment in Sorbonne University
☆12Updated 3 years ago
Alternatives and similar repositories for SU
Users that are interested in SU are comparing it to the libraries listed below
Sorting:
- A minimal language for Isabelle/HOL, designed for easing machine learning.☆22Updated 2 weeks ago
- The user home repository for the Mathematics in Lean tutorial.☆421Updated 2 months ago
- A static analysis tool for Lean 4.☆97Updated this week
- Examples using MetaProgramming for writing tactics etc.☆20Updated last month
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆206Updated 4 months ago
- A Machine-to-Machine Interaction System for Lean 4.☆115Updated last month
- Everything about AI4Math (AI for Mathematics).☆17Updated last year
- ☆49Updated 8 months ago
- My solutions to Software Foundations course in Coq proof assistant.☆40Updated last month
- A simple REPL for Lean 4, returning information about errors and sorries.☆162Updated last month
- Lean 4 tutorial files☆44Updated 4 months ago
- Solution to Algebra, Chapter 0☆96Updated 6 months ago
- ☆77Updated last month
- ☆259Updated 7 months ago
- An inequality benchmark for theorem proving☆21Updated 4 months ago
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆20Updated last month
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆27Updated 3 weeks ago
- Python client to interact with the lean4 language server.☆27Updated this week
- Catalog Of Math Problems Formalized In Lean☆199Updated last week
- amateur translation project of Grothendieck's EGA.☆363Updated this week
- Helper toolkit for creating your own Lean 4 UserWidgets☆156Updated this week
- Formalization of Mathematical Logic☆170Updated last week
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12Updated 4 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Updated last year
- A client for Isabelle server (https://isabelle.in.tum.de)☆12Updated last week
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆34Updated last year
- Verified efficient algorithms in Lean4.☆30Updated 2 months ago
- Server to host lean games.☆329Updated this week
- Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.☆35Updated last month
- Beginner's guide to Tactic Programming in Lean☆62Updated last month