GitHub · Where software is built

Labels Milestones New issue

Combinatorial bijections?

#98

· chadbrewbaker opened

on Oct 2, 2021

Clean up code to match terminology in paper

#92

· tlringer opened

on Sep 17, 2020

Cancel out rewrites

#91

· tlringer opened

on Sep 17, 2020

Decompiler improvements meta

#90

· tlringer opened

on Sep 17, 2020

Weakening and strengthening logical predicates

#89

· tlringer opened

on Sep 17, 2020

Revisit the positive example

#88

· tlringer opened

on Sep 17, 2020

Adding hypotheses

#87

· tlringer opened

on Sep 17, 2020

Adding constructors

#86

· tlringer opened

on Sep 17, 2020

First-class lifts? First-class composition of lifts?

#83

· Ptival opened

on Jul 5, 2020

Syntax of commands feels awkward at times

#82

· Ptival opened

on Jul 5, 2020

Define adjunction with nicer type (cf., #68)

#74

· nateyazdani opened

on Sep 15, 2019

Tactic version of lifting

#73

· tlringer opened

on Sep 11, 2019