Log in

No account? Create an account
Lindsey Kuper [entries|archive|friends|userinfo]
Lindsey Kuper

[ website | composition.al ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Course announcement: SMT Solving and Solver-Aided Systems [Aug. 31st, 2019|01:00 pm]
Lindsey Kuper

New blog post, in which I try to convince you to take my course.

This entry was originally posted at https://lindseykuper.dreamwidth.org/32583.html. Please comment there using OpenID.