Skip to content
@ohm-tree

ohm-tree

theorem

Pinned Loading

  1. plasma-converter plasma-converter Public

    Lean 1

  2. wayfinder wayfinder Public

    Python 1

Repositories

Showing 3 of 3 repositories
  • plasma-converter Public
    ohm-tree/plasma-converter’s past year of commit activity
    Lean 1 0 0 0 Updated Nov 23, 2024
  • wayfinder Public
    ohm-tree/wayfinder’s past year of commit activity
    Python 1 0 0 0 Updated Oct 27, 2024
  • repl Public Forked from xinhjBrant/repl

    A simple REPL for Lean 4, returning information about errors and sorries.

    ohm-tree/repl’s past year of commit activity
    Lean 0 36 0 0 Updated Oct 24, 2024

Top languages

Loading…

Most used topics

Loading…