⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content
@Andromedans

Andromedans

Popular repositories Loading

  1. andromeda andromeda Public

    A proof assistant for general type theories

    OCaml 310 35

Repositories

Showing 1 of 1 repositories

Top languages

Loading…

Most used topics

Loading…