Companion files for Logical Verification 2020–2021 at VU Amsterdam (by blanchette)

Logical_verification_2020 Alternatives

Similar projects and alternatives to logical_verification_2020

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better logical_verification_2020 alternative or higher similarity.

Suggest an alternative to logical_verification_2020

Reviews and mentions

Posts with mentions or reviews of logical_verification_2020. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-11-14.


Basic logical_verification_2020 repo stats
about 1 year ago
OPS - Build and Run Open Source Unikernels
Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.
Find remote jobs at our new job board 99remotejobs.com. There are 28 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.