⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
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 3 2

  3. babaeee-coq babaeee-coq Public

    JavaScript

Repositories

Showing 3 of 3 repositories

People

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

Top languages

JavaScript Rust

Most used topics

Loading…