Python Bindings to the Lean Theorem Prover http://leanprover.github.io/
☆13Sep 12, 2017Updated 8 years ago
Alternatives and similar repositories for lean-python-bindings
Users that are interested in lean-python-bindings are comparing it to the libraries listed below
Sorting:
- ☆15Apr 12, 2023Updated 2 years ago
- Proof artifact co-training for Lean☆44Dec 29, 2022Updated 3 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- Tutorial session from PyData London, Fri 6 May 2016☆11May 6, 2016Updated 9 years ago
- The Development Repo of the PeerStreamer Project for netCommons☆12Dec 23, 2016Updated 9 years ago
- Ἀνατομή is a PyTorch library to analyze representation of neural networks☆13Jan 31, 2024Updated 2 years ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- Repository for "Improving evidential deep learning via multi-task learning," published in AAAI2022☆20Mar 4, 2022Updated 4 years ago
- ☆13Aug 11, 2024Updated last year
- Microsoft's Azure "Hack for good" Shellhacks 2019 winner!☆13Sep 25, 2019Updated 6 years ago
- Synthesize bio-plausible neural networks for cognitive tasks, mimicking brain architecture☆11Apr 14, 2021Updated 4 years ago
- 부동산 실거래가☆19Apr 20, 2020Updated 5 years ago
- A Learning Environment for Theorem Proving☆76Jun 21, 2022Updated 3 years ago
- A lightweight and easily readable context-free grammar generator!☆20Oct 22, 2018Updated 7 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- A powerful white-box adversarial attack that exploits knowledge about the geometry of neural networks to find minimal adversarial perturb…☆12Aug 5, 2020Updated 5 years ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- ResNet-50 for TsinghuaDog classification☆10Feb 2, 2021Updated 5 years ago
- Code and dataset for tracing semantic changes in Russian adjectives☆13Nov 26, 2019Updated 6 years ago
- KSP plugin showing a temperature gauge and which part is going to blow up first☆10Apr 30, 2022Updated 3 years ago
- Mizar Mathematical Library☆16Mar 17, 2012Updated 14 years ago
- ☆13May 16, 2018Updated 7 years ago
- Maps: Python's missing mappings☆13Nov 29, 2017Updated 8 years ago
- Google Dawn/WebGPU fork☆12Nov 13, 2019Updated 6 years ago
- Structured Prediction with Deep Value Networks (PyTorch implementation)☆13Jul 25, 2024Updated last year
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆58Sep 6, 2023Updated 2 years ago
- Implementation of multiple algorithms for inferring trust in the user network (social graph) using various network properties such as tru…☆22Dec 8, 2017Updated 8 years ago
- Official Repository for "Unbalancedness in Neural Monge Maps Improves Unpaired Domain Translation" [ICLR 2024]☆17May 15, 2024Updated last year
- System-wide Lean input method☆12Feb 16, 2022Updated 4 years ago
- Linear Algebra Done...Lean☆19Jan 15, 2018Updated 8 years ago
- ☆16Dec 9, 2020Updated 5 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 3 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- Attention-Enhanced Cross-modal Localization Between Spherical Images and Point Clouds (IEEE Sensors Journal)☆12May 1, 2023Updated 2 years ago
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 2 years ago
- ☆15Nov 30, 2020Updated 5 years ago
- A Parallel Russian-Simple Russian Dataset☆15Mar 30, 2023Updated 2 years ago
- ☆20Nov 4, 2025Updated 4 months ago
- HiCRISP Full Code, containing VirtualHome, pybullet simulator and Real AGV platform.☆15Apr 8, 2024Updated last year