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 Lisp134 19 7032
PVSCodegen
3 19 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