Skip to content

@TINF23B3 TINF23B3

Change the repository type filter

All

    Repositories list

    2 repositories

    • .github

      Public
      Welcome page to the TINF23B3 GitHub Repository
      0•0•0•0•Updated May 10, 2024May 10, 2024

    • operators

      Public
      This repository includes some of the operators for calculating Peano Numbers. This repository also includes relational operators to compare Peano Numbers.
      operatorstheoretische-informatikpeano-numbers
      Python
      •0•0•0•0•Updated Mar 4, 2024Mar 4, 2024