Skip to content
@libtx

libtx

Popular repositories Loading

  1. SLOT SLOT Public

    THIS IS A WORK OF FICTION AND NOT a formally verified model checker

    Coq 1 2

  2. Storage Storage Public

    THIS IS A WORK OF FICTION AND NOT an axiomatic abstraction of container

    Coq 1

  3. ci ci Public

    Cache compiled Coq dependencies

    Dockerfile

Repositories

Showing 3 of 3 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…