Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 17, 2026

• Support pure specialization patterns (#109)

  Show description for 291edcc
  MackieLoeffel

  authored
  291edcc

  Copy full SHA for 291edcc

• feat: Mutual Fixpoints (#104)

  Show description for 340b070
  

  GenericMonkey

  and

  markusdemedeiros

  authored
  340b070

  Copy full SHA for 340b070

• iProp (#117)

  Show description for 8612aaf
  

  3 peopleauthored
  8612aaf

  Copy full SHA for 8612aaf

Commits on Jan 8, 2026

• feat: Add ProofMode.SynthInstance (#108)

  Show description for 42e034e
  MackieLoeffel

  authored
  42e034e

  Copy full SHA for 42e034e

Commits on Dec 20, 2025

• feat: Unify handling of proof mode terms (#107)

  Show description for b8835e6
  

  MackieLoeffel

  and

  markusdemedeiros

  authored
  b8835e6

  Copy full SHA for b8835e6

• patch: remove duplicate file

  markusdemedeiros

  committed
  b603854

  Copy full SHA for b603854

• Feat: BUpdPlain

  Show description for 5be1904
  

  ahuoguo

  and

  markusdemedeiros

  authored
  5be1904

  Copy full SHA for 5be1904

Commits on Dec 19, 2025

• patch: Fix build

  markusdemedeiros

  committed
  04a8e4a

  Copy full SHA for 04a8e4a

• Bump version to 4.26.0

  markusdemedeiros

  committed
  1c4374e

  Copy full SHA for 1c4374e

• Bump version to 4.25.2

  markusdemedeiros

  committed
  18fcc07

  Copy full SHA for 18fcc07

Commits on Dec 4, 2025

• fix: remove warnings

  markusdemedeiros

  committed
  6138de8

  Copy full SHA for 6138de8

• feat: Basic updates for UPred ownM

  Show description for b3fb527
  

  markusdemedeiros

  and

  ahuoguo

  authored
  b3fb527

  Copy full SHA for b3fb527

• feat: iapply tactic (#80)

  oliversoeser

  authored
  db1455f

  Copy full SHA for db1455f

• feat: Generic heap CMRA (#88)

  Show description for c9d7a75
  markusdemedeiros

  authored
  c9d7a75

  Copy full SHA for c9d7a75

• feat: Fix isplit syntax

  Show description for 59650ac
  lzy0505

  authored
  59650ac

  Copy full SHA for 59650ac

Commits on Nov 23, 2025

• bump version to 4.25.1

  markusdemedeiros

  committed
  5fe59a8

  Copy full SHA for 5fe59a8

• bump version to 4.25.0

  markusdemedeiros

  committed
  56ab881

  Copy full SHA for 56ab881

Commits on Oct 15, 2025

• Bump version to 4.24.0

  markusdemedeiros

  committed
  36d042d

  Copy full SHA for 36d042d

Commits on Oct 14, 2025

• Bump actions/checkout from 4 to 5 (#94)

  Show description for 70d3ea3
  dependabot[bot]

  authored
  70d3ea3

  Copy full SHA for 70d3ea3

• Update README

  markusdemedeiros

  committed
  40fe5f4

  Copy full SHA for 40fe5f4

• Update README

  markusdemedeiros

  committed
  bd3c5b0

  Copy full SHA for bd3c5b0

• Bump version to 4.23.0

  markusdemedeiros

  committed
  7753d9f

  Copy full SHA for 7753d9f

Commits on Oct 13, 2025

• Bump version to 4.22.0

  Show description for c64b09a
  

  markusdemedeiros

  and

  joewatt95

  committed
  c64b09a

  Copy full SHA for c64b09a

Commits on Aug 1, 2025

• chore: fix build (#79)

  markusdemedeiros

  authored
  3f02683

  Copy full SHA for 3f02683

Commits on Jul 18, 2025

• chore: bump lean (#68)

  github-actions[bot]

  authored
  738b1f3

  Copy full SHA for 738b1f3

Commits on Jul 4, 2025

• feat: Later COFE and oFunctor (#73)

  Show description for 56cf8c2
  

  Remyjck

  and

  digama0

  authored
  56cf8c2

  Copy full SHA for 56cf8c2

• feat: DFrac (#59)

  Show description for a1096ef
  

  5 peopleauthored
  a1096ef

  Copy full SHA for a1096ef

• feat: Frac (#56)

  Show description for 9abb369
  

  5 peopleauthored
  9abb369

  Copy full SHA for 9abb369

• feat: Updates (#72)

  Show description for d8da29e
  

  4 peopleauthored
  d8da29e

  Copy full SHA for d8da29e

Commits on Jul 3, 2025

• feat: Local Updates (#71)

  Show description for 1c728d4
  

  4 peopleauthored
  1c728d4

  Copy full SHA for 1c728d4

• feat: Prod and Unit CMRA (#70)

  Show description for 4b38897
  

  3 peopleauthored
  4b38897

  Copy full SHA for 4b38897

• feat: Add Exclusive CMRA (#48)

  Show description for dd857b7
  

  oliversoeser

  and

  digama0

  authored
  dd857b7

  Copy full SHA for dd857b7

• feat: UPred Soundness (#47)

  Show description for a7d97fc
  

  markusdemedeiros

  and

  digama0

  authored
  a7d97fc

  Copy full SHA for a7d97fc

• feat: COFE contractive fixpoints (#45)

  Show description for 6f19597
  

  markusdemedeiros

  and

  digama0

  authored
  6f19597

  Copy full SHA for 6f19597

• feat: BI derived connectives (#44)

  Show description for 3de640d
  

  markusdemedeiros

  and

  digama0

  authored
  3de640d

  Copy full SHA for 3de640d

Pagination

Previous

Next