libra

A dimensional analysis library based on dependent types

Search similar apps

    License

    Other

    A dimensional analysis library based on dependent types

    Creator

    to-ithaca

    Related apps