duynghiadev / Shopee-Clone-Reactjs
Reactjs Super - Shopee Clone Typescript
☆36Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for Shopee-Clone-Reactjs
- Config files for my GitHub profile.☆8Updated 3 months ago
- Voice recognition + Translation combining 4 APIs: iFlytek-科大讯飞 + Google Translate & Bing Speech + Baidu Translate. Ideal for presentation…☆12Updated 7 years ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆15Updated this week
- The "batteries included" extended library for the Lean programming language and theorem prover☆250Updated this week
- Supports a student project developing a UI for feedback on arXiv articles rendered as html.☆18Updated 2 weeks ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆18Updated this week
- White-box automation for Lean 4☆211Updated this week
- ☆37Updated 5 months ago
- Notes for Algebraic Structures, taught Spring 2016 at Carnegie Mellon University, by Professor Clinton Conley.☆14Updated 6 years ago
- ☆27Updated 3 weeks ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆12Updated 4 months ago
- A Machine-to-Machine Interaction System for Lean 4.☆16Updated last week
- ☆222Updated 2 weeks ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- Formalization of IMO shortlist problems in Lean 4☆13Updated this week
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆54Updated 8 months ago
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- Bonn Lean course for winter 24/25☆16Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆270Updated last week
- Performant and safe knowledge compilation in rust☆24Updated 3 weeks ago
- Lean 3 web editor☆11Updated last year
- A proof assistant adapter designed for machine learning☆10Updated 2 weeks ago
- ☆25Updated this week
- Neural theorem proving toolkit: data extraction tools for Lean 4☆16Updated 3 weeks ago
- Visual Studio Code extension for the Lean 4 proof assistant☆169Updated this week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆40Updated this week
- AI for Mathematics (AI4Math) paper list☆135Updated last month
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆66Updated 5 months ago
- How to read Lean☆16Updated 2 weeks ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆115Updated this week
- Python talking to the Lean theorem prover☆41Updated 3 years ago