Commits · 51c4be812b670b42218280a3159742be53084e15 · koizel / personoj

May 19, 2021
- Tuple encoding to be opened, eqtup as default · 51c4be81
  hondet authored 3 years ago
  
  51c4be81
- Reorganise, less hierarchy in package, coercions · b07c8516
  hondet authored 3 years ago
  
  b07c8516
Mar 17, 2021
- fixed makefile · 7e6d5fde
  hondet authored 4 years ago
  
  7e6d5fde
- Submodule for prenex polymorphism · 7a9e970d
  hondet authored 4 years ago
  
  7a9e970d
Mar 16, 2021
- update to new syntax, prenex depedns on deptype · 2890d40d
  hondet authored 4 years ago
  
  2890d40d
Mar 01, 2021
- Updating to last lambdapi · 0fed5ba3
  hondet authored 4 years ago
  
  0fed5ba3
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