Skip to content

@Andromedans Andromedans

Change the repository type filter

All

    Repositories list

    1 repository

    • andromeda

      Public
      A proof assistant for general type theories
      OCaml
      •
      Other
      •35•310•33•1•Updated Aug 9, 2025Aug 9, 2025