Geeks
fetburner
/
coq-dijkstra
A Verified Implementation of Dijkstra's Algorithm
Primary Language
Coq
MIT License
MIT
coq-dijkstra GitHub
Markdown
Readme
0
Issues
18
Stargazers
2
Watchers
Stargazers
anton-trunov
https://tonstudio.io
ayanamists
NJU
CYBAI
Tokyo
ghuysmans
@isfath
liyishuai
@Alibaba
MasWag
Kyoto University
mukeshtiwari
Swansea
NotWearingPants
omasanori
Japan
ortolanrj
Cloud
Oucema90
Turkey
smorimoto
@ocaml @tc39
TFKls
Cracow, Poland