heap_lang/heap.v · 758d8d652f002394eb6f8f2f0b5fee39881356eb · Dan Frumin / iris-coq · GitLab

Skip to content

GitLab

Explore

Sign in

iris-coq
heap_lang
heap.v

Blame Permalink

Jun 01, 2016
758d8d65

Simplify frac : use a pair of a rational and a carrier · 758d8d65
Jacques-Henri Jourdan authored Jun 01, 2016

758d8d65

Simplify frac : use a pair of a rational and a carrier
Jacques-Henri Jourdan authored Jun 01, 2016

Loading