Commits · main · Max Ole Elliger / Programming Computable Functions · GitLab

Snippets Groups Projects

Oct 11, 2023
- Checked dependencies · a4f02cec
  Max Ole Elliger authored 1 year ago
  
  View commits for tag pcf-v4.0.1 pcf-v4.0.1
  
  a4f02cec
Oct 06, 2023
- forgotten delete · 156aaea7
  Max Ole Elliger authored 1 year ago
  
  View commits for tag pcf-v4.0.0 pcf-v4.0.0
  
  156aaea7
- Restructured files · 802de0b1
  Max Ole Elliger authored 1 year ago
  802de0b1
- mv pcf_fac typing part to PCF · 34bcea28
  Max Ole Elliger authored 1 year ago
  
  34bcea28
- Merge branch '6-add-missing-arithmetic-and-logical-operations' · f809d476
  Max Ole Elliger authored 1 year ago
  
  View commits for tag pcf-v3.3.0 pcf-v3.3.0
  
  f809d476
Sep 20, 2023
- explicit def of cupdate · f035b242
  Max Ole Elliger authored 1 year ago
  
  View commits for tag pcf-v3.2.2 pcf-v3.2.2
  
  f035b242
Sep 15, 2023
- Merge branch 'reorder_formulas' into 'main' · 0654b157
  Max Ole Elliger authored 1 year ago
  View commits for tag pcf-v3.2.1 pcf-v3.2.1
  
  0654b157
- added f_lt · a5178248
  Max Ole Elliger authored 1 year ago
  
  a5178248
- f_leq -> f_le · 24a4d7c9
  Max Ole Elliger authored 1 year ago
  
  24a4d7c9
- added f_add, f_minus -> f_sub, f_div · d681ffc5
  Max Ole Elliger authored 1 year ago
  
  d681ffc5
- adapted eq to new notation, rm bool as type for eq · 41efa2b6
  Max Ole Elliger authored 1 year ago
  
  41efa2b6
- reordered all formulas · d5de7e68
  Max Ole Elliger authored 1 year ago
  
  d5de7e68
- Merge branch 'include/comoproj-v1.2.0' into 'main' · e24e3b8d
  Max Ole Elliger authored 1 year ago
  View commits for tag pcf-v3.2.0 pcf-v3.2.0
  
  e24e3b8d
- Merge tag 'comoproj-v1.2.0' into include/comoproj-v1.2.0 · b707cd64
  Max Ole Elliger authored 1 year ago
  b707cd64
- Merge branch '11-remove-f_ite-and-so-on' into 'main' · 5754649b
  Max Ole Elliger authored 1 year ago
  5754649b
- corrections after merge · f1bbc21c
  Max Ole Elliger authored 1 year ago
  
  f1bbc21c
- Stated ite-cbn/cbv-statements again as part of the basic relation. · 2b890c5a
  Max Ole Elliger authored 1 year ago
  
  2b890c5a
- finished solving lemmas. most time, f_case-case was missing · 5ffdc269
  Max Ole Elliger authored 1 year ago
  
  5ffdc269
- rm bool as value · 75aa85d8
  Max Ole Elliger authored 1 year ago
  
  75aa85d8
- Replaced f_bool, f_ite (and other depending structures) · 542e1750
  Max Ole Elliger authored 1 year ago
  542e1750
- updated headlines · d2cd53e8
  Max Ole Elliger authored 1 year ago
  
  d2cd53e8
Sep 14, 2023
- v_func -> v_abs · 2263e989
  Max Ole Elliger authored 1 year ago
  
  View commits for tag pcf-v3.1.2 pcf-v3.1.2
  
  2263e989
- some renamings, corrections, ... · 6ebdcffe
  Max Ole Elliger authored 1 year ago
  
  6ebdcffe
- Corrected value definitions · 0076d4b7
  Max Ole Elliger authored 1 year ago
  
  0076d4b7
Sep 13, 2023
- updated .gitlab-ci.yml · 4fe47f9f
  Max Ole Elliger authored 1 year ago
  
  View commits for tag comoproj-v1.2.0 comoproj-v1.2.0
  
  4fe47f9f
- todo-description, how to edit .gitlab-ci.yml · a8f0bc12
  Max Ole Elliger authored 1 year ago
  
  a8f0bc12
Sep 12, 2023
- Merge branch 'docs/headlines' into 'main' · b1c110fb
  Max Ole Elliger authored 1 year ago
  View commits for tag pcf-v3.1.1 pcf-v3.1.1
  
  b1c110fb
- mini headline change · c3dd4673
  Max Ole Elliger authored 1 year ago
  
  c3dd4673
Sep 09, 2023
- headlines pcf · 0660746a
  Max Ole Elliger authored 1 year ago
  
  0660746a
Aug 16, 2023
- Merge branch '4-introduce-coproducts-and-maybe' · dff6c022
  Max Ole Elliger authored 1 year ago
  
  View commits for tag pcf-v3.1.0 pcf-v3.1.0
  
  dff6c022
- Merge branch 'refactor/inductive_syntax_points_new_line' · b47378d7
  Max Ole Elliger authored 1 year ago
  
  b47378d7
Aug 15, 2023
- refactored point-'syntax' after Inductive-Command · 91d03e4a
  Max Ole Elliger authored 1 year ago
  
  91d03e4a
- refactored deriv-names to f_deriv; unique namement · 58daee26
  Max Ole Elliger authored 1 year ago
  
  58daee26
Aug 10, 2023
- Merge branch 'main' into 4-introduce-coproducts-and-maybe · b42e30a6
  Max Ole Elliger authored 1 year ago
  
  b42e30a6
- style adjustement · 9eb98b70
  Max Ole Elliger authored 1 year ago
  
  9eb98b70
- implemented de bruijn indices · 71ffff41
  Max Ole Elliger authored 1 year ago
  
  View commits for tag pcf-v3.0.0 pcf-v3.0.0
  
  71ffff41
Jul 30, 2023
- stated cbv-rules for case · 7ef5979b
  Max Ole Elliger authored 1 year ago
  
  7ef5979b
- added v_inl v_inr as cbv-values · 7a5af5ed
  Max Ole Elliger authored 1 year ago
  
  7a5af5ed
- stated cbn-rules for case · 26982a14
  Max Ole Elliger authored 1 year ago
  
  26982a14
- added v_inl v_inr as cbn-values · da75855d
  Max Ole Elliger authored 1 year ago
  
  da75855d