Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/bvanjoi/fmf-homework-2020spring
FMF, Formal Methods Foundation. 形式化方法2020春，作业
https://github.com/bvanjoi/fmf-homework-2020spring
Last synced: 10 days ago
JSON representation
FMF, Formal Methods Foundation. 形式化方法2020春，作业
- Host: GitHub
- URL: https://github.com/bvanjoi/fmf-homework-2020spring
- Owner: bvanjoi
- Created: 2020-07-05T13:34:12.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2020-07-12T06:21:46.000Z (over 4 years ago)
- Last Synced: 2025-01-18T01:12:01.826Z (12 days ago)
- Language: Python
- Homepage:
- Size: 96.7 KB
- Stars: 18
- Watchers: 1
- Forks: 7
- Open Issues: 0