Compositionality / compositionality-latex-templateLinks
The Compositionality article class.
☆13Updated 5 months ago
Alternatives and similar repositories for compositionality-latex-template
Users that are interested in compositionality-latex-template are comparing it to the libraries listed below
Sorting:
- Python implementation of the monster group☆54Updated 2 weeks ago
- Metamath verifier in Python☆40Updated 5 months ago
- A gamification of the theorems in MATH40002 Analysis 1☆84Updated 2 years ago
- a collection of Gymnasium environments for saturation provers☆23Updated 2 months ago
- multilingual dictionary of mathematical terminology☆20Updated last month
- 💧 Liquid Tensor Experiment☆212Updated last year
- Quantomatic is a tool for doing automated graph rewriting.☆166Updated 6 years ago
- A TikZ library of wiring diagrams☆22Updated 6 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Updated 3 years ago
- Mathematical proofs of the bbchallenge project.☆24Updated 2 months ago
- Physics Derivation Graph: mathematical connections among equations☆21Updated last year
- An interactive theorem prover for string diagrams☆123Updated last year
- ☆51Updated last year
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆57Updated 4 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- ☆42Updated 4 years ago
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆27Updated 3 years ago
- A program for drawing knots and links, with support for importing images☆33Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆318Updated 11 months ago
- Bonn Lean course for winter 24/25☆37Updated 2 months ago
- metamath proof enumerators and other things☆92Updated 2 weeks ago
- ☆93Updated 2 years ago
- A program for making zooming slides in figma.☆41Updated 4 months ago
- DeepAlgebra☆25Updated 8 years ago
- Formalized quantum computing in Lean theorem prover☆34Updated 4 years ago
- blueprint for prime number theorem and more☆206Updated this week
- Formalizing results about the Mandelbrot set in Lean☆27Updated last week