Skip to content

@babaeee BABAEEE

Change the repository type filter

All

    Repositories list

    3 repositories

    • hakim

      Public
      A hacky interactive theorem prover
      Rust
      •
      Apache License 2.0
      •2•1•3•1•Updated Apr 2, 2024Apr 2, 2024

    • babaeee-coq

      Public
      JavaScript
      •0•0•0•0•Updated Nov 7, 2021Nov 7, 2021

    • babaeee-proof-checker

      Public
      JavaScript
      •
      GNU Affero General Public License v3.0
      •1•3•0•0•Updated Jan 16, 2021Jan 16, 2021