Search results

put mm0/mm1 files inside their own directory and only compile those files from there

Status: Open.

#27 In Formal-Systems-Laboratory/matching-logic-mm0;

· MirceaS opened on Apr 13, 2023

Prove alpha renaming for exists and mu

Status: Open.

#18 In Formal-Systems-Laboratory/matching-logic-mm0;

· MirceaS opened on Mar 22, 2023

Prove assumptions: <code>top_implies_fp_*</code>

Status: Open.

#17 In Formal-Systems-Laboratory/matching-logic-mm0;

· nishantjr opened on Mar 17, 2023

Benchmark: Use CPU time rather than wall clock time

Status: Open.

#15 In Formal-Systems-Laboratory/matching-logic-mm0;

· MirceaS opened on Mar 13, 2023

Cleanup + code organization

Status: Open.

#7 In Formal-Systems-Laboratory/matching-logic-mm0;

· MirceaS opened on Mar 7, 2023

lisp code test theorems

Status: Open.

#6 In Formal-Systems-Laboratory/matching-logic-mm0;

· MirceaS opened on Mar 7, 2023