issues
search
kory33
/
scala-proofs
An attempt to build axiomatic, formal set theory on top of Scala.
37
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Configure Renovate
#9
renovate[bot]
opened
1 year ago
0
Use typeclass instead of upper type bound to represent a domain of discourse
#8
kory33
opened
5 years ago
1
How do we define operations on naturals?
#7
kory33
opened
6 years ago
1
Restrict access rights to non-exposed types in some constructs
#6
kory33
opened
6 years ago
0
Let universal quantifier implement instantiate[T] method
#5
kory33
closed
6 years ago
2
Make dependency to axioms completely specific
#4
kory33
closed
6 years ago
1
Segregate meta-level proofs to other packages
#3
kory33
closed
6 years ago
0
Instantiation of quantifier with its domain should not be allowed in predicate logic
#2
kory33
closed
6 years ago
1
Does proposed encoding of predicate logic actually correspond to the one used in ZFC?
#1
kory33
closed
6 years ago
4