Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / VTrelat / Hopcroft_verif
Formal verification in Isabelle(HOL) of Hopcroft's algorithm for minimizing DFAs including runtime analysis
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/VTrelat%2FHopcroft_verif
Stars: 1
Forks: 0
Open Issues: 0
License: None
Language: Isabelle
Repo Size: 16.2 MB
Dependencies:
0
Created: about 1 year ago
Updated: 8 months ago
Last pushed: 9 months ago
Last synced: 9 months ago
Topics: automata-theory, formal-methods, formal-verification, hopcroft-algorithm, isabelle-hol, theorem-proving
Files
No dependencies found