Or7ando

Pinned Repositories

category
lean cat product yoneda
00
group_representation
Try to formalize group representation on Lean prover
Language:Lean01
lean
TEST
Language:Lean00
math
blo
Language:JavaScript00
maths
20
sage
00
test
00

Or7ando's Repositories

Or7ando/maths
20
Or7ando/category
lean cat product yoneda
00
Or7ando/group_representation
Try to formalize group representation on Lean prover
Language:Lean01
Or7ando/lean
TEST
Language:Lean00
Or7ando/math
blo
Language:JavaScript00
Or7ando/sage
00
Or7ando/test
00