echo672's starred repositories
paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
starcoder2
Home of StarCoder2!
formalisms_every_computer_scientist_should_know
Formalisms Every Computer Scientist Should Know course at ISTA 2023
lean4-tutorial
Supplementary material for Thomas Henzinger's course Formalisms Every Computer Scientist Should Know
keras-llm-robot
A web UI Project In order to learn the large language model. This project includes features such as chat, quantization, fine-tuning, prompt engineering templates, and multimodality.
vocabsieve
Simple sentence mining tool for language learning
simple-spaced-repetition
Simple spaced repetition scheduler based on the classic Anki algorithm.
modern-cloze-overlapper
Modern Cloze Overlapper for Anki
scrapy-playwright
🎭 Playwright integration for Scrapy
formal-methods-curriculum
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
leanblueprint
plasTeX plugin to build formalization blueprints.
lean4-cheatsheet
Printable (A4) overview of tactics in Lean 4 for beginners
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.