GitHub / iblech / constructive-maximal-ideals

Reifying dynamical algebra: maximal ideals in countable rings, constructively

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/iblech%2Fconstructive-maximal-ideals
PURL: pkg:github/iblech/constructive-maximal-ideals

Stars: 4
Forks: 0
Open issues: 0

License: None
Language: TeX
Size: 5.34 MB
Dependencies parsed at: Pending

Created at: almost 4 years ago
Updated at: 3 months ago
Pushed at: 3 months ago
Last synced at: 3 months ago

Topics: agda, constructive-mathematics, forcing, mathematics, paper, ring-theory

Loading...