Skip to content
Snippets Groups Projects
  1. Jan 31, 2022
    • hondet's avatar
      Fix tuple printing (less metavariables) · 98548db2
      hondet authored
      98548db2
    • hondet's avatar
      Proof export · 7f2ba538
      hondet authored
      - add a patch (by Sam) to have a prove-formula function in PVS
      - remove "opaque" keyword because of issue 830 of lambdapi,
      - added some encoding facilities to write proofs
      - export has a switch to translate proofs
      7f2ba538
  2. Jan 29, 2022
  3. Jan 28, 2022
  4. Jan 27, 2022
  5. Jan 26, 2022
  6. Jan 25, 2022
  7. Jan 24, 2022
  8. Jan 22, 2022
  9. Jan 21, 2022
    • hondet's avatar
      Update to lp2 syntax · 4ce0826c
      hondet authored
      - update translator
      - update tests
      - update ci (to use correct lambdapi version)
      4ce0826c
  10. Jan 18, 2022
    • hondet's avatar
      Simplifications · be898e6c
      hondet authored
      - less useless printing
      - simplified type printing
      be898e6c
  11. Jan 17, 2022
  12. Jan 16, 2022
Loading