isabelle-utp / Z_Toolkit

This is an implementation of the Z mathematical toolkit in Isabelle/HOL, as described in ISO 13568:2002.

isabelle-utp/Z_Toolkit Watchers

Burkhart Wolff
Burkharrt-Wolff
Christian Pardillo Laursen
cplaursen
Casper Thule
CThuleHansen
Frank Zeyda
Frank-Zeyda
James Cloos
jhcloos
Luis Diogo Couto
ldcouto
Lex Bailey
lexbailey
Lrke
Pedro Ribeiro
pefribeiro
Kangfeng Ye
RandallYe
SamuelCanham
Simon Foster
simondfoster

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.