Built something? We create video reels & spotlights for GitHub projects.Promote your project →

Developer Profile

wysiib

Discovered public repositories for wysiib in the GitHub catalog.

↗

Public repository.

↗

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

↗

Public repository.

↗

Plugin for the Rodin Platform that tries out the available provers on all available proof obligations. Used to compare different provers.

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.