Strata

Popular repositories Loading

1. Strata Strata Public

   Lean 236 55

2. jverify jverify Public

   Program verification for Java

   Java 12 3

3. specimen specimen Public

   Lean 10 4

4. Strata-Boole Strata-Boole Public

   Lean 2 5

5. .github .github Public

   Forked from amzn/.github

   1

6. Strata-Python Strata-Python Public

   Lean 1 3