Commits · 97de8dc3272313a69ee4188443588aec2650dffb · koizel / personoj

Oct 10, 2021
- no theories patch · 97de8dc3
  Gabriel authored 3 years ago
  
  97de8dc3
Oct 09, 2021
- test ci · 9c1e23d2
  Gabriel authored 3 years ago
  
  9c1e23d2
- fix workflow · 39046a7f
  Gabriel authored 3 years ago
  
  39046a7f
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
Jul 15, 2021
- install encoding for tests · eceab6c5
  hondet authored 3 years ago
  
  eceab6c5
- 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
Feb 09, 2021
- Updated to new lambdapi · 136041e3
  hondet authored 4 years ago
  
  136041e3
Feb 07, 2021
- 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
Apr 22, 2020
- check prelude · f86cb27b
  gabrielhdt authored 4 years ago
  
  f86cb27b
Apr 21, 2020
- check encoding and paper · aebced2b
  gabrielhdt authored 4 years ago
  
  aebced2b
Apr 20, 2020
- setting ci · 1421ca90
  gabrielhdt authored 4 years ago
  
  1421ca90
- try ci · 36df1a21
  Gabriel Hondet authored 4 years ago
  
  Unverified
  
  36df1a21