Giters

SashaNullptr / Folf-Math

Mathematics for vulpine/lupine hybrids. May contain abnormal amounts of derp.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Folf Math

Mathematics for vulpine/lupine hybrids.

About

Mathematics for vulpine/lupine hybrids. May contain abnormal amounts of derp.

Languages

Language:Coq 100.0%