Giters

Hexirp / scaqula

Coqlike formalization of ZFC set theory in Scala

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

scaqula

Coqlike formalization of ZFC set theory in Scala

About

Coqlike formalization of ZFC set theory in Scala

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Scala 100.0%