Skip to content
@intheo-lang

intheo-lang

Popular repositories

  1. intheo intheo Public

    Intheo is a proof assistant and purely-functional programming language.

    Rust 1

Repositories

Showing 1 of 1 repositories
  • intheo Public

    Intheo is a proof assistant and purely-functional programming language.

    Rust 1 Apache-2.0 0 0 0 Updated Nov 27, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…