SashaIr

Pinned Repositories

bridge
Language:TeX0 6 01
mathlib4
The math library of Lean 4
Language:Lean1.8k 35 455391
europass-cv
Language:TeX00
hanabi-conventions
Hanabi conventions used at Scuola Normale Superiore
Language:TeX11
hanabi-live
A web server that allows people to play Hanabi, a cooperative card game of logic and reasoning.
Language:TypeScript00
mathlib4
The math library of Lean 4
Language:Lean00
shuffle-theorem
SageMath tools for the Shuffle Theorem and its variants
Language:Python00
theorem_proving_in_lean4
Theorem Proving in Lean 4
Language:JavaScript00
vscode-theme-onedark
VSCode Theme based on Atom's One Dark theme
00
vscode-theme-onelight
VSCode Theme based on Atom's One Light theme
00

SashaIr's Repositories

SashaIr/hanabi-conventions
Hanabi conventions used at Scuola Normale Superiore
Language:TeX11
SashaIr/europass-cv
Language:TeX00
SashaIr/hanabi-live
A web server that allows people to play Hanabi, a cooperative card game of logic and reasoning.
Language:TypeScript00
SashaIr/mathlib4
The math library of Lean 4
Language:Lean00
SashaIr/shuffle-theorem
SageMath tools for the Shuffle Theorem and its variants
Language:Python00
SashaIr/theorem_proving_in_lean4
Theorem Proving in Lean 4
Language:JavaScript00
SashaIr/vscode-theme-onedark
VSCode Theme based on Atom's One Dark theme
00
SashaIr/vscode-theme-onelight
VSCode Theme based on Atom's One Light theme
00