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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Apr 12, 2023Updated 3 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Ἀνατομή 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
- ☆13Apr 5, 2026Updated last week
- Repository for "Improving evidential deep learning via multi-task learning," published in AAAI2022☆20Mar 4, 2022Updated 4 years ago
- Synthesize bio-plausible neural networks for cognitive tasks, mimicking brain architecture☆11Apr 14, 2021Updated 4 years ago
- Microsoft's Azure "Hack for good" Shellhacks 2019 winner!☆13Sep 25, 2019Updated 6 years ago
- A Learning Environment for Theorem Proving☆76Jun 21, 2022Updated 3 years ago
- 부동산 실거래가☆19Apr 20, 2020Updated 5 years ago
- A lightweight and easily readable context-free grammar generator!☆20Oct 22, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- ☆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
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 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
- Mizar Mathematical Library☆17Mar 17, 2012Updated 14 years ago
- 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☆38Apr 3, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Attention-Enhanced Cross-modal Localization Between Spherical Images and Point Clouds (IEEE Sensors Journal)☆12May 1, 2023Updated 2 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 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 3 years ago
- ☆19Nov 4, 2025Updated 5 months ago
- HiCRISP Full Code, containing VirtualHome, pybullet simulator and Real AGV platform.☆15Apr 8, 2024Updated 2 years ago