I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

7 repos 16 followers 8 following
Repositories Stars Followers Following
D

did:plc:jjiv56ot7d6sgethto3jr3r5

D

did:plc:jjiv56ot7d6sgethto3jr3r5

D

did:plc:jjiv56ot7d6sgethto3jr3r5

D

did:plc:jjiv56ot7d6sgethto3jr3r5

D

did:plc:jjiv56ot7d6sgethto3jr3r5

D

did:plc:jjiv56ot7d6sgethto3jr3r5

D

did:plc:jjiv56ot7d6sgethto3jr3r5

D

did:plc:jjiv56ot7d6sgethto3jr3r5

cospan · schematic version control on atproto built on AT Protocol