scala-proofs
scala-proofs copied to clipboard
kory33
An attempt to build axiomatic, formal set theory on top of Scala.
[](https://renovatebot.com) Welcome to [Renovate](https://togithub.com/renovatebot/renovate)! This is an onboarding PR to help you understand and configure settings before regular Pull Requests begin. 🚦 To activate Renovate, merge this Pull Request....
![renovate[bot] avatar](https://avatars.githubusercontent.com/in/2740?v=4 "renovate[bot] avatar"){kind=avatar}
We first need to define addition and multiplication in order to define further number systems, like `ℤ` or `ℚ`. The addition operation `+: ℕ×ℕ -> ℕ` is defined _inductively_ in...
This should be possible. I'm just not sure how unpleasant grammars would look like.