issues
search
kory33
/
scala-proofs
An attempt to build axiomatic, formal set theory on top of Scala.
37
stars
1
forks
source link
Restrict access rights to non-exposed types in some constructs
#6
Open
kory33
opened
6 years ago