C-h-r-i-s-x

SecunetGermany

Pinned Repositories

Bachelor_Thesis_Christopher_Schmidt
10
C-h-r-i-s-x
Config files for my GitHub profile.
00
formal_book_copy
Formalizing "Proofs from THE BOOK"
Language:Lean10
formal_book
Formalizing "Proofs from THE BOOK"
Language:Lean39 6 37

C-h-r-i-s-x's Repositories

C-h-r-i-s-x/Bachelor_Thesis_Christopher_Schmidt
10
C-h-r-i-s-x/formal_book_copy
Formalizing "Proofs from THE BOOK"
Language:Lean10
C-h-r-i-s-x/C-h-r-i-s-x
Config files for my GitHub profile.
00