Commits · d53557b067bd8c6f1c391e4b9e1eff1055f6df15 · koizel / personoj

Jan 13, 2020
- inequality is a definition · d53557b0
  gabrielhdt authored 5 years ago
  
  d53557b0
Jan 08, 2020
- updated to new lambdapi · cdc9e8e8
  gabrielhdt authored 5 years ago
  
  cdc9e8e8
- only imp is primitive · cb1567d8
  gabrielhdt authored 5 years ago
  
  cb1567d8
- rational numbers (not typechecking) · 4073cdff
  gabrielhdt authored 5 years ago
  
  4073cdff
- added proto prelude translation · 04a2be3a
  gabrielhdt authored 5 years ago
  
  04a2be3a
Nov 18, 2019
- [+] projection rules · ff337cc0
  gabrielhdt authored 5 years ago
  
  ff337cc0
- [~] adapted to lambdapi, introduced protected pair · 6c2f63eb
  gabrielhdt authored 5 years ago
  
  6c2f63eb
Oct 25, 2019
- [+] some greek unicode · a6c88298
  gabrielhdt authored 5 years ago
  
  a6c88298
- [~] is pvs-cert · c174a37b
  gabrielhdt authored 5 years ago
  
  c174a37b
- [*] fixed pair, added nice comments · fd5d6e28
  gabrielhdt authored 5 years ago
  
  fd5d6e28
Oct 24, 2019
- [+] pairs and pretty · 4f0cd968
  gabrielhdt authored 5 years ago
  
  4f0cd968
- [+] pvs core · 973dcf6b
  gabrielhdt authored 5 years ago
  
  973dcf6b
- initial commit · 327c25ef
  gabrielhdt authored 5 years ago
  
  327c25ef