Skip to content
@strata-org

Strata

Popular repositories Loading

  1. Strata Strata Public

    Lean 288 62

  2. jverify jverify Public

    Program verification for Java

    Java 15 3

  3. specimen specimen Public

    Lean 13 4

  4. Strata-Boole Strata-Boole Public

    Lean 4 7

  5. Strata-Solidity Strata-Solidity Public

    Lean 4

  6. Strata-Python Strata-Python Public

    Lean 3 4

Repositories

Showing 10 of 12 repositories
View all 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…