Geeks
ThinkOpenly
/
sail
Sail architecture definition language
Primary Language
Isabelle
Other
NOASSERTION
sail GitHub
Markdown
Readme
15
Issues
8
Stargazers
1
Watcher
Stargazers
kourzanov
myselfprincee
India
PAINxNAGATO
Kolkata
PranikaRaheja
Sanikommus
snapdgn
IIT Kharagpur
Soumya1869
Student
xevor11
University of Wisconsin - Milwaukee