iblech / scheme-theory-in-agdaLinks

A formalization of synthetic algebraic geometry in Agda
14Updated 6 years ago

Alternatives and similar repositories for scheme-theory-in-agda

Users that are interested in scheme-theory-in-agda are comparing it to the libraries listed below

Sorting: