enshankar

SRI International Computer Science LaboratoryMenlo Park CA

Pinned Repositories

BigProof
Collaborative repo for Big Proof Programme at the Isaac Newton Institute, Jun 26 to Aug 4, 2017
0 2 00
KoT
Kernel of Truth
Language:C1 3 00
PVS
The People's Verification System
Language:Common Lisp144 19 7033
pvs-playground
0 19 00
PVSCodegen
3 18 03

enshankar's Repositories

enshankar/BigProof
Collaborative repo for Big Proof Programme at the Isaac Newton Institute, Jun 26 to Aug 4, 2017
0 2 00