1. 11 May, 2020 2 commits
  2. 10 May, 2020 1 commit
  3. 30 Apr, 2020 1 commit
  4. 28 Apr, 2020 9 commits
  5. 12 Apr, 2019 3 commits
  6. 11 Apr, 2019 4 commits
  7. 20 Mar, 2019 2 commits
  8. 27 Feb, 2019 13 commits
  9. 17 Nov, 2018 1 commit
  10. 07 Nov, 2018 1 commit
  11. 04 Nov, 2018 1 commit
  12. 02 Nov, 2018 1 commit
  13. 25 Sep, 2018 1 commit
    • Navid Roux's avatar
      Reword sentences to improve clarity · 1c1098e5
      Navid Roux authored
      Changes by section names:
      
      Formalizing elementary Arithmetics and Algebra Step by Step:
      
      - Rename used type variables in explanations, namely
        \beta, to avoid confusions with \beta-reduction, which is
        introduced in the same paragraph.
      
      - Explain that "sketch" does not take a formal string (i.e.
        only a comment for human readers) and does thus not attempt to
        auto-prove the stated proposition.
      
      - When defining the function p on whole Z, switch the order
        in the definatory equation "-s(n) = p(-n)"
      
      Logic and proof theory:
      
        - Make it obvious that \vdash_{ND} stands for "Natural
          Deduction"
      
        - Highlight that "[ab] ..." declares a function of only
          *one* variable and not two (a, b).
      
        - Fix and reword structure assignment as part of a view.
      1c1098e5