GitHub topics: z-notations
Z-Editor/Z-Editor
Online Z-notations Editor with Prosemirror and React.js
Language: TypeScript - Size: 1.2 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 147 - Forks: 43
arandilopez/z-eves
Z-EVES for linux. Probably the only place you can find it
Language: Python - Size: 18.1 MB - Last synced at: 10 days ago - Pushed at: about 4 years ago - Stars: 24 - Forks: 10
joulook/Formal-Specification-and-Verification-of-Programs-Fall-2020
In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
Language: TeX - Size: 5.13 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
florianschanda/pzt
Python Z Tools
Language: TeX - Size: 20.5 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
