imdea-software/htt

Issues

• coq-htt as package depending on coq-htt-core

  #28 opened 3 months ago by palmskog
  7

• Port the congprog example

  #12 opened 3 months ago by clayrat
  1

• Separate packaging of htt and examples

  #21 opened 2 years ago by palmskog
  2

• Automate frame + pull fully

  #17 opened 3 years ago by clayrat
  2

• Ensure the model doesn't leak implementation details by using a module

  #14 opened 3 years ago by clayrat
  0

• gh_ex only accepts a single argument

  #11 opened 3 years ago by clayrat
  1

• Update and merge examples from "congruence closure" development

  #8 opened 3 years ago by clayrat
  0

• Merge changes from the zip artifact

  #6 opened 4 years ago by clayrat
  2

• Update README.md

  #4 opened 5 years ago by germanD
  0