Giters
Or7ando

Or7ando

Geek Repo

1

followers

1

following

1

stars

Github PK Tool:Github PK Tool

Or7ando's repositories

group_representation

Try to formalize group representation on Lean prover

Language:LeanStargazers:0Issues:0Issues:0

lean

TEST

Language:LeanStargazers:0Issues:0Issues:0

category

lean cat product yoneda

Stargazers:0Issues:0Issues:0

sage

Stargazers:0Issues:0Issues:0

math

blo

Language:JavaScriptStargazers:0Issues:0Issues:0

maths

Stargazers:2Issues:0Issues:0

test

Stargazers:0Issues:0Issues:0