Commits · a47ea17e8ed9eb00f091ff6452ed1248b2ca0db0 · koizel / personoj

Oct 10, 2021
- editors setting · a47ea17e
  Gabriel authored 3 years ago
  
  a47ea17e
- directory renaming · b29d4e44
  Gabriel authored 3 years ago
  
  b29d4e44
- Merge branch 'ci' · 5a77f110
  Gabriel authored 3 years ago
  
  5a77f110
- comment big theories · d26bdfda
  Gabriel authored 3 years ago
  
  d26bdfda
- loading pvs · f8d67e62
  Gabriel authored 3 years ago
  
  f8d67e62
- set pvs path · faa08002
  Gabriel authored 3 years ago
  
  faa08002
- set switch · e5142a53
  Gabriel authored 3 years ago
  
  e5142a53
- no theories patch · 97de8dc3
  Gabriel authored 3 years ago
  
  97de8dc3
Oct 09, 2021
- chmod +x · 9e220baf
  Gabriel authored 3 years ago
  
  9e220baf
- test ci · 9c1e23d2
  Gabriel authored 3 years ago
  
  9c1e23d2
- Do not copy pvs-translation-tools to PVS sources · 3668ca46
  Gabriel authored 3 years ago
  
  3668ca46
- remove paper directory · a271ea33
  Gabriel authored 3 years ago
  
  a271ea33
- updated readme · ad8f482d
  Gabriel authored 3 years ago
  
  ad8f482d
- fix workflow · 39046a7f
  Gabriel authored 3 years ago
  
  39046a7f
- integrating exporter · b7f2dc2e
  Gabriel authored 3 years ago
  
  b7f2dc2e
Oct 05, 2021
- fine tuning of tuples · e9acd21c
  hondet authored 3 years ago
  
  surjective pairing projections
  e9acd21c
Sep 27, 2021
- syntax · 7d8def63
  hondet authored 3 years ago
  
  7d8def63
- more tuples and vectors, alternate dir · df90883a
  hondet authored 3 years ago
  
  df90883a
Sep 25, 2021
- matching operator for tuples · b0a0d38f
  hondet authored 3 years ago
  
  b0a0d38f
Sep 24, 2021
- Coercions for generalised tuples · 4298b2c1
  hondet authored 3 years ago
  
  4298b2c1
- more on tuples · b1e7a590
  hondet authored 3 years ago
  
  b1e7a590
Sep 23, 2021
- A library for lengthed tuples · a651edc5
  hondet authored 3 years ago
  
  a651edc5
Sep 20, 2021
- super quantifiers · cda74053
  hondet authored 3 years ago
  
  cda74053
Sep 17, 2021
- fixpoints · 1b326505
  hondet authored 3 years ago
  
  1b326505
Sep 04, 2021
- super projector · 96cc7612
  hondet authored 3 years ago
  
  96cc7612
Sep 03, 2021
- added projection operator · 55be04b4
  hondet authored 3 years ago
  
  55be04b4
Aug 31, 2021
- update lambdapi · 10c65e4f
  hondet authored 3 years ago
  
  10c65e4f
Aug 30, 2021
- update lambdapi for ci · 905cd695
  Gabriel authored 3 years ago
  
  905cd695
- follow new syntax · 68676ffd
  hondet authored 3 years ago
  
  68676ffd
Jul 15, 2021
- comments · 58de7512
  hondet authored 3 years ago
  
  58de7512
- install encoding for tests · eceab6c5
  hondet authored 3 years ago
  
  eceab6c5
- added nat recursor · 561de2ba
  hondet authored 3 years ago
  
  561de2ba
- yes yes yes · 670a44ac
  hondet authored 3 years ago
  
  670a44ac
- my lambdapi · f25b17b6
  hondet authored 3 years ago
  
  f25b17b6
- update ci · 4455c851
  hondet authored 3 years ago
  
  4455c851
- install requires object and source files · aadde759
  hondet authored 3 years ago
  
  aadde759
Jun 29, 2021
- transitivity with tuples · 62085d29
  hondet authored 3 years ago
  
  62085d29
- added transitivity example · ea41b63e
  hondet authored 3 years ago
  
  ea41b63e
May 25, 2021
- Nat not constant · a0a3e200
  hondet authored 3 years ago
  
  a0a3e200
- added proj operator · dcf51a2c
  hondet authored 3 years ago
  
  dcf51a2c