Bo Hofstede's repositories
proof-sharing
CAV'22 paper to speed up Neural Network Verification.
MIT000
Chess
A game that’s a mix of chess, Connect Four and battleships. It’s called rook, line and sinker. Actually its just chess.
Language:JavaScript000
Web-Teaching
Overview of CSE1500 (Web technology part)
000