Commits · 136041e3f5e1860f6b9ca6bb8f91d4bd19cd4f61 · koizel / personoj

Feb 09, 2021
- Updated to new lambdapi · 136041e3
  hondet authored 4 years ago
  
  136041e3
Feb 07, 2021
- Install only encoding · 897bb1ec
  hondet authored 4 years ago
  
  897bb1ec
- Fixing ci · 6b7df67e
  hondet authored 4 years ago
  
  6b7df67e
- Updating ci · 5ad544d9
  hondet authored 4 years ago
  
  5ad544d9
- Switching to latest lambdapi syntax · 9807710c
  hondet authored 4 years ago
  
  9807710c
- Install only sources, not objects · 58bc3bb0
  hondet authored 4 years ago
  
  58bc3bb0
Jan 19, 2021
- Update proof irrelevance spec · 52d1fb2b
  hondet authored 4 years ago
  
  52d1fb2b
- Equality rewrites to equality on super type · fe21e613
  hondet authored 4 years ago
  
  fe21e613
Dec 16, 2020
- Updated to lambdapi · 03325943
  hondet authored 4 years ago
  
  03325943
Dec 14, 2020
- Changed bool to prop · 9067a18d
  hondet authored 4 years ago
  
  9067a18d
Dec 05, 2020
- Comments, renaming · 38bf92b6
  hondet authored 4 years ago
  
  38bf92b6
Dec 04, 2020
- renaming · d9dcca4e
  hondet authored 4 years ago
  
  d9dcca4e
- Renaming · 49d439a7
  hondet authored 4 years ago
  
  49d439a7
Dec 01, 2020
- commenting incomplete spec · 38f10721
  hondet authored 4 years ago
  
  38f10721
Nov 30, 2020
- Moving code, importing equality · 18f17ad2
  hondet authored 4 years ago
  
  18f17ad2
- fixed import, use maximal supertype · 41f1e870
  hondet authored 4 years ago
  
  41f1e870
- Equality separated from logic, equality on pairs · 1984d0fa
  hondet authored 4 years ago
  
  1984d0fa
Nov 28, 2020
- moved rat_generalised moved, correct deps · 93cd9267
  hondet authored 4 years ago
  
  93cd9267
- removed equal · ef4ad0f5
  hondet authored 4 years ago
  
  ef4ad0f5
Nov 27, 2020
- updated encoding · fa74efc2
  hondet authored 4 years ago
  
  fa74efc2
- moved fishy files to sandbox · 0010102c
  hondet authored 4 years ago
  
  0010102c
Oct 31, 2020
- neq and fix · 4f56a281
  hondet authored 4 years ago
  
  4f56a281
Oct 30, 2020
- added stack · 34be791c
  hondet authored 4 years ago
  
  34be791c
Oct 28, 2020
- Some cleaning · b0c363de
  hondet authored 4 years ago
  
  b0c363de
Oct 20, 2020
- removed refl builtin from prelude · 85250f99
  hondet authored 4 years ago
  
  85250f99
- app_pair · e60d3b0c
  hondet authored 4 years ago
  
  e60d3b0c
- Some theorems on equality · 0d459fdc
  hondet authored 4 years ago
  
  0d459fdc
Oct 19, 2020
- examples for proof irrelevance, refl eq · 70173b00
  hondet authored 4 years ago
  
  70173b00
Oct 11, 2020
- Reduction rule in star, variable · 03747b58
  hondet authored 4 years ago
  
  03747b58
- cert star, reduced dependencies · 18c66708
  hondet authored 4 years ago
  
  18c66708
Oct 09, 2020
- fixed issue, and lighter alternative pvs-cert · 59729cca
  hondet authored 4 years ago
  
  59729cca
- no need for pvs cert in booleans · 83f136a6
  hondet authored 4 years ago
  
  83f136a6
Oct 02, 2020
- suffixing _p for predicates for Dive · cae130e6
  hondet authored 4 years ago
  
  cae130e6
Sep 29, 2020
- Testing generalised subtyping · f53ae83a
  hondet authored 4 years ago
  
  f53ae83a
- Computing on dive · 2cb33d90
  hondet authored 4 years ago
  
  2cb33d90
Sep 25, 2020
- Rewriting topcast to sequences of fst · 972064e6
  hondet authored 4 years ago
  
  972064e6
- New way of defining proof irrelevant elements · 13a147cc
  hondet authored 4 years ago
  
  13a147cc
- Compile fewer things · 3d1f42b0
  hondet authored 4 years ago
  
  3d1f42b0
- New encoding for subtyping · 446d23ba
  hondet authored 4 years ago
  
  446d23ba
Jul 24, 2020
- syntax change, corrections · e447ecdb
  gabrielhdt authored 4 years ago
  
  e447ecdb