Skip to content
GitLab
Explore
Sign in
Register
Hilaire Thibault
Petri Net in Coq
Repository
petri-net-in-coq
README.md
Find file
Blame
History
Permalink
Adding "make" command in the Readme.md
· 7b5523e3
David Ilcinkas
authored
Jan 25, 2024
7b5523e3