MargaritaMayer / RoadMovie
RoadMovie is an application that allows people who are in Moscow to explore the filming locations of Moscow films.
☆16Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for RoadMovie
- This project converts structured Lean code into an interactive browser game.☆74Updated last year
- A formalization of the Rubik's cube group☆26Updated 4 years ago
- ☆9Updated 2 years ago
- Proof artifact co-training for Lean☆42Updated last year
- Clustering notions for the knowledge LaTeX package☆13Updated 3 weeks ago
- A formalized proof of Carleson's theorem in Lean☆28Updated this week
- Material from M1P1, formalised in Lean☆14Updated 5 years ago
- Proof recording for Lean 3☆25Updated 3 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated 9 months ago
- Tools based on AI for helping with Lean 4☆65Updated this week
- ☆21Updated 11 months ago
- Document Generator for Lean 4☆66Updated this week
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 2 years ago
- An introduction to theorem proving in Lean for the impatient.☆110Updated last week
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 5 years ago
- Links to recourses for the Lean Theorem Prover☆10Updated 4 years ago
- A Lean file formatter☆63Updated last year
- Matroids in Lean☆18Updated 10 months ago
- Formalized quantum computing in Lean theorem prover☆21Updated 3 years ago
- ☆14Updated last year
- ☆14Updated 11 months ago
- Code samples for Lean 4☆71Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆34Updated last year
- ☆37Updated 5 months ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆12Updated 4 months ago
- Python talking to the Lean theorem prover☆41Updated 3 years ago
- Example Code for Teaching Computation Theory☆21Updated 5 years ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆364Updated last week
- Fermat's Last Theorem for regular primes☆52Updated this week
- ☆27Updated 3 years ago
- ☆27Updated 8 months ago