AishwaryaSivaraman/lemmafinder

Issues

• Handling `Type`

  #21 opened 2 years ago
  1

• QuickChick derivations for aliased types

  #20 opened 2 years ago
  1

• Buggy synthesis terms

  #19 opened 2 years ago
  1

• Parsing `lfind_eval` output

  #18 opened 2 years ago
  1

• Replace Myth with Gallina Synthesizer

  #10 opened 2 years ago
  1

• Update to new Proverbot version

  #9 opened 2 years ago
  0

• lfind stall in Ubuntu

  #8 opened 2 years ago
  1

• Free up space used by Quickchick

  #7 opened 2 years ago
  0

• QC Example Generation with quantified hypotheses

  #6 opened 2 years ago
  0

• Quickchick example generation

  #5 opened 2 years ago
  0