afp-mirror
/
Extended_Finite_State_Machine_Inference
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
7 Commits 1 Branch 3 Tags 90 KiB
Commit Graph

3 Commits

Author SHA1 Message Date
Achim D. Brucker d5c6f8533a Changed name to reflect development status.
ci/woodpecker/push/build Pipeline was successful Details
2022-03-26 08:55:24 +00:00
Achim D. Brucker 1f29340b1b Import of AFP for Isabelle 2021. 2021-02-27 16:34:10 +00:00
Achim D. Brucker bc6cffa54d Initial import from AFP. 2020-12-19 09:35:49 +00:00