Skip to content
@Andromedans

Andromedans

Popular repositories Loading

  1. andromeda andromeda Public

    A proof assistant for general type theories

    OCaml 318 35

Repositories

Showing 1 of 1 repositories
  • andromeda Public

    A proof assistant for general type theories

    Andromedans/andromeda's past year of commit activity
    OCaml 318 35 33 1 Updated Jun 13, 2026

Top languages

Loading…

Most used topics

Loading…