FormalSpecification
Formal Specification Interpreter using C# language.
- Pros:
- Lightweight
- Easy to use
- Cons:
- Cannot parse multiple functions at the same time
- Syntax highlighting is poor
- ¯\_(ツ)_/¯
Interface:
Participants:
| Name | ID |
|---|---|
| Phạm Minh Việt | 18520398 |
| Trần Văn Bảo | 18520499 |