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☆45Dec 29, 2022Updated 3 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- A single-cell transcriptomic analysis of endometriosis, endometriomas, eutopic endometrial samples and uninvolved ovary tissues highlight…☆18Jan 12, 2023Updated 3 years ago
- Material for the DataLucence:Images course☆10Jun 14, 2017Updated 8 years ago
- Documentation and tutorials worth sharing.☆10Dec 7, 2022Updated 3 years ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- The MATLAB source for the DTCWT toolbox (1,2,3)D and keypoints.☆11Feb 10, 2014Updated 12 years ago
- DGCIT: Double Generative Adversarial Networks for Conditional Independence Testing☆11Nov 22, 2023Updated 2 years ago
- False discovery rate regression☆10Nov 12, 2020Updated 5 years ago
- Systematic Multi-Trait AAV Capsid Engineering for Efficient Gene Delivery (Eid et al., Nature Communications, 2024)☆11Aug 26, 2024Updated last year
- FiberNavigator - Maxime Chamberland -☆10Feb 9, 2022Updated 4 years ago
- Some tools for working with digraphs, partial orders and topological sorting with Python☆12Sep 7, 2011Updated 14 years ago
- Implementation of Phase Coupling Estimation in Python and Matlab (see http://arxiv.org/abs/0906.3844 )☆16Feb 1, 2014Updated 12 years ago
- Causal Mediation analysis☆10Dec 26, 2025Updated 2 months ago
- R markdown format and template for light-on-dark beamer presentations—with fussy extras.☆12Nov 1, 2021Updated 4 years ago
- ☆11Oct 8, 2019Updated 6 years ago
- Code for the MSB publication: Exploring amino acid functions and positional subtypes in a deep mutational landscape☆10Jun 11, 2022Updated 3 years ago
- Inference on marginal distributions using gradient-based optimization☆13Mar 27, 2017Updated 8 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- Spectral Alignment of Graphs☆11Mar 26, 2017Updated 8 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Oct 28, 2021Updated 4 years ago
- A JavaScript AST optimizer☆18Apr 18, 2013Updated 12 years ago
- 10606 Fall 2023☆12Oct 13, 2023Updated 2 years ago
- Microbenchmarks for x86_64 kernel entry methods☆20Feb 21, 2022Updated 4 years ago
- elPrep reimplementations in C++ and Java, only for benchmark comparisons☆10Feb 13, 2023Updated 3 years ago
- Implementation of Selective Clustering Annotated using Modes of Projections☆11May 19, 2020Updated 5 years ago
- ☆12Aug 10, 2024Updated last year
- Orthant-Wise Limited-memory Quasi-Newton Optimizer for L1-regularized Objectives☆10Mar 9, 2014Updated 11 years ago
- A little demo how to bind an advanced data science algorithms to 4 different languages☆10Nov 6, 2018Updated 7 years ago
- Contrastive Poisson latent variable models (CPLVMs)☆11Feb 7, 2022Updated 4 years ago
- SDSC Summer Institute 2018 Teaching Material☆10Nov 25, 2022Updated 3 years ago
- A super simple Software Rendering Painting Tool written in C and SDL2 over a weekend.☆13Jun 8, 2022Updated 3 years ago
- Wrapper for generating PROV provenance information for commands and python scripts☆15Oct 14, 2014Updated 11 years ago
- Regular expression Search on the command-line☆16Mar 31, 2025Updated 11 months ago
- Code to implement the network histogram (Olhede and Wolfe, arXiv:1312.5306)☆11Sep 23, 2014Updated 11 years ago
- Machine learning on electronic health records☆11Jan 29, 2018Updated 8 years ago
- R package for sparse VAR estimation☆12Feb 5, 2026Updated 3 weeks ago
- Matlab interface for SCS☆13Nov 24, 2025Updated 3 months ago