Giters
Deniz Aydin (denayd)

denayd

Geek Repo

1

followers

1

following

2

stars

Github PK Tool:Github PK Tool

Deniz Aydin's repositories

mathlib

Lean mathematical components library

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

mathlib4

Work in progress mathlib port for lean 4

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0