jzxia

Pinned Repositories

Solution-to-Algebra-Chapter-0
Solution to Algebra, Chapter 0
Language:TeX82 1 419
Solution-to-Algebra-Chapter-0
Solution to Algebra, Chapter 0
Language:TeX0 0 00
mathlib4
The math library of Lean 4
Language:Lean1.2k 40 376251
TheWhiteheadTheoremandTwoVariations
Proving three variations of the Whitehead theorem for simplicial and point-set models
Language:TeX5 3 00
BQCESubroutine.jl
Basic Quantum Circuit Emulation Subroutine
Language:Julia5 4 74

jzxia/Solution-to-Algebra-Chapter-0
Solution to Algebra, Chapter 0
Language:TeX0 0 00