Giters

xingfeT / complexGeo

an implementation of geometry in coq using complex numbers

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

complexGeo

an implementation of geometry in coq using complex numbers

About

an implementation of geometry in coq using complex numbers

License:GNU General Public License v3.0

Languages

Language:Coq 100.0%