Python3.11以上が必要。
cd src
python3.11 test.py test/def2 > res
cd src
python3.11 derive.py test/def2 > insts
cd src
python3.11 check.py insts > res
-
Notifications
You must be signed in to change notification settings - Fork 0
naoyafurudono/verifier
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
代数学特論での検証器の実装
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published