Pinned Repositories
assemblies
Code for simulating assembly operations
get-back
Online game
lean-automata
Proving theorems about regular languages and DFAs in Lean
logic-lean
lyrical
A chrome extension enabling seeing the lyrics of a song on youtube
safe-chat
a school project
simpsons-in-css
Simpsons characters in CSS
TutorialMod
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
mathlib4
The math library of Lean 4
atarnoam's Repositories
atarnoam/lean-automata
Proving theorems about regular languages and DFAs in Lean
atarnoam/simpsons-in-css
Simpsons characters in CSS
atarnoam/get-back
Online game
atarnoam/safe-chat
a school project
atarnoam/assemblies
Code for simulating assembly operations
atarnoam/logic-lean
atarnoam/lyrical
A chrome extension enabling seeing the lyrics of a song on youtube
atarnoam/TutorialMod