GitHub · Where software is built

Back to Milestones

SDM2019

Open

Overdue by 7 year(s)

•

Due by October 12, 2018

•Last updated May 16, 2021

83% complete

Select all issues: List view

MiLkMaId: count how many inductive proofs are within the scope of PSL

#36

· yutakang opened

on May 23, 2018

⚡