famubu
/
reglang-mod
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
19 Commits 2 Branches 0 Tags 144 KiB
Coq 99.3%
Nix 0.7%
Go to file
Julin Shaji 0e1ef2f972 change name 2024-04-25 12:09:53 +05:30
.gitignore initial commit 2024-04-01 17:53:17 +05:30
_CoqProject change name 2024-04-25 12:09:53 +05:30
default.nix initial commit 2024-04-01 17:53:17 +05:30
dfa.v change name 2024-04-25 12:09:53 +05:30
dune change name 2024-04-25 12:09:53 +05:30
dune-project change name 2024-04-25 12:09:53 +05:30
lang.v initial commit 2024-04-01 17:53:17 +05:30
nfa.v change name 2024-04-25 12:09:53 +05:30
re.v change name 2024-04-25 12:09:53 +05:30
state.v try dfa nfa proof 2024-04-03 23:54:12 +05:30