scala-proofs icon indicating copy to clipboard operation
scala-proofs copied to clipboard

verified publisher icon kory33
→

Metadata

An attempt to build axiomatic, formal set theory on top of Scala.

← Metadata

37
Stars
1
Forks
Watchers

Owner

verified publisher icon kory33

Metadata

An attempt to build axiomatic, formal set theory on top of Scala.

Back