ana-brendel

Pinned Repositories

lemmafinder
Language:HTML0 0 00
random-graphs-PL
Language:Python0 1 00
coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
Language:Coq128 11 14939
QuickChick
Randomized Property-Based Testing Plugin for Coq
Language:Coq251 17 17646

ana-brendel's Repositories

ana-brendel/lemmafinder
Language:HTML0 0 00