Script to make repo creation faster for lazy developers like me.
Contributions:9 commits, 1 PR, 7 pushes in 1 year 3 months
fastercreation
An implementation of Dijkstra Algorithm in Coq.
Contributions:2 PRs, 1 push, 1 branch in 2 years 4 months
dijkstracoqdijkstra-algorithm