Giters

Taneb / antlion

Agda Number Theory Library (Is Only the Name)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Agda Number Theory Library

About

Agda Number Theory Library (Is Only the Name)

License:MIT License

Languages

Language:Agda 100.0%