diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-04-13 13:01:14 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-04-13 13:01:14 +0200 |
| commit | 6eea98cf3e66a07251e6370ea948898799d5055b (patch) | |
| tree | 99e869dd56fc529cbdc9d55bef0a6c3618fccd47 /source/Provers.hs | |
| parent | 5c297fe2fde2ac9a926ba1911aa72d383450ce98 (diff) | |
first formalisation of addition on naturals
We try to Implement the Addition on natural numbers by a relation on N \times N to N such that some of the axioms of the addition holds
Diffstat (limited to 'source/Provers.hs')
0 files changed, 0 insertions, 0 deletions