Skip to content
@babaeee

BABAEEE

Popular repositories Loading

  1. babaeee-proof-checker babaeee-proof-checker Public

    JavaScript 3 1

  2. hakim hakim Public

    A hacky interactive theorem prover

    Rust 1 2

  3. babaeee-coq babaeee-coq Public

    JavaScript

Repositories

Showing 3 of 3 repositories
  • hakim Public

    A hacky interactive theorem prover

    babaeee/hakim’s past year of commit activity
    Rust 1 Apache-2.0 2 3 1 Updated Apr 2, 2024
  • babaeee-coq Public
    babaeee/babaeee-coq’s past year of commit activity
    JavaScript 0 0 0 0 Updated Nov 7, 2021
  • babaeee-proof-checker Public
    babaeee/babaeee-proof-checker’s past year of commit activity
    JavaScript 3 AGPL-3.0 1 0 0 Updated Jan 16, 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…