Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on May 8, 2024

• chore: bump lean

  digama0

  committedMay 8, 2024
  1b7d330

Commits on Jan 12, 2024

• chore: update lean

  digama0

  committedJan 12, 2024
  8ef0a0f

Commits on Nov 18, 2023

• chore: update lean

  digama0

  committedNov 18, 2023
  aca0860

Commits on Aug 23, 2023

• chore: update lean

  digama0

  committedAug 23, 2023
  f982a2b

Commits on Aug 21, 2023

• chore: bump lean

  digama0

  committedAug 21, 2023
  d7039fb

Commits on Jul 13, 2023

• fix: add new Cli dependency of mathlib

  digama0

  committedJul 13, 2023
  8c6829e

Commits on Jun 27, 2023

• doc: expand readme and makefile (#244)

  fpvandoorn

  authoredJun 27, 2023
  65199cd

Commits on Jun 7, 2023

• chore: update to reflect new proofwidgets dependency

  

  Scott Morrison

  authored and

  gebner

  committedJun 7, 2023
  8ec62f9

Commits on May 29, 2023

• update instructions for external projects (#237)

  kim-em

  authoredMay 29, 2023
  49ea836

Commits on May 25, 2023

• feat: set up multiple file oneshot

  digama0

  committedMay 25, 2023
  11d51fb

Commits on May 24, 2023

• fix: bugs in name parsing

  digama0

  committedMay 24, 2023
  4499988

Commits on Apr 4, 2023

• fix: fix typo in README (#233)

  kbuzzard

  authoredApr 4, 2023
  059e9f8

Commits on Jan 21, 2023

• changes

  hrmacbeth

  committedJan 21, 2023
  b05e5e1

Commits on Jan 4, 2023

• Update README.md for one-shot mode (#213)

  

  4 peopleauthoredJan 4, 2023
  59f9f09

Commits on Dec 14, 2022

• feat: update mathlib mod-tac-stx 2022-12-01

  digama0

  committedDec 14, 2022
  c906a27

Commits on Nov 28, 2022

• fix: oneshot lakefile manifest

  digama0

  committedNov 28, 2022
  1fa7c79

• chore: bump mathlib (#203)

  

  gebner

  and

  digama0

  authoredNov 28, 2022
  238194f

Commits on Nov 4, 2022

• feat: update mathlib mod-tac-stx 2022-11-01

  digama0

  committedNov 4, 2022
  96c271d

Commits on Oct 24, 2022

• feat: add "oneshot" configuration

  digama0

  committedOct 24, 2022
  72b856e

Loading