diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-07-02 21:24:44 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-07-02 21:24:44 +0200 |
| commit | bff76c7fabb9f2c0b9dcac915dfa68e930baf4d4 (patch) | |
| tree | 9f893b4e9adc2fd68ce379b36deff7f468c7ea7a /source/Syntax/Internal.hs | |
| parent | 7e65d40f100af326adbd4ef1d32fdd0aabc92f4b (diff) | |
Further Formalisation of naturals.
Such as induction on naturals and addition laws.
Diffstat (limited to 'source/Syntax/Internal.hs')
0 files changed, 0 insertions, 0 deletions