Giters
tchajed
/
coq-sep-logic
Separation logic library for Coq
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
7
Watchers:
3
Issues:
4
Forks:
1
tchajed/coq-sep-logic Stargazers
Atalay-Ileri
Emanuele D'Osualdo
bordaigorl
Javier Lopez-Gomez
jalopezg-git
Sebastian Holmgaard
kaep
Orestis Melkonian
omelkonian
Vladimir Ivanov
vonavi
Yiyuan Cao
yiyuan-cao