search

ku-sldg / protocol_ordering

0 stars 0 forks source link

Prove properties about `reducer` #6

Open arfritzz opened 1 year ago

arfritzz commented 1 year ago

would need to turn everything into an inductive proposition