Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 22, 2024

• bump to leanprover/lean4:v4.8.0

  T-Brick

  committed
  939e41c

  Copy full SHA for 939e41c

Commits on Dec 1, 2023

• general cleanup

  T-Brick

  committed
  77b64ff

  Copy full SHA for 77b64ff

Commits on Nov 30, 2023

• binary for code/elem/data sections

  T-Brick

  committed
  9e04436

  Copy full SHA for 9e04436

Commits on Nov 22, 2023

• add modules to Text Format

  T-Brick

  committed
  c7d50b3

  Copy full SHA for c7d50b3

Commits on Nov 21, 2023

• moved Text/Binary formats to their own files

  T-Brick

  committed
  d3fcb0b

  Copy full SHA for d3fcb0b

• add Numbers dependency

  T-Brick

  committed
  2d6ec3e

  Copy full SHA for 2d6ec3e

Commits on Aug 10, 2023

• begin restructuring how bytes are repr

  T-Brick

  committed
  d118cde

  Copy full SHA for d118cde

Commits on Jul 28, 2023

• init commit

  T-Brick

  committed
  8afc9c8

  Copy full SHA for 8afc9c8

Loading