Skip to content

Releases: Komyyy/lean4

opaque_repr7

26 May 14:14

Choose a tag to compare

opaquerepr-2024-05-26

feat: `opaque_repr` attr to suppress "trivial structure" opt (pt 2)

opaque_repr6

02 Dec 16:55

Choose a tag to compare

opaquerepr-2023-12-03

feat: `opaque_repr` attr to suppress "trivial structure" opt (pt 2)

opaque_repr5

17 Nov 07:53

Choose a tag to compare

opaquerepr-2023-11-17-2

feat: `opaque_repr` attr to suppress "trivial structure" opt (pt 2)

opaque_repr4

17 Nov 07:50

Choose a tag to compare

opaquerepr-2023-11-17

feat: bare `lake init` & validated pkg names

opaque_repr3

02 Nov 13:40

Choose a tag to compare

opaquerepr-2023-11-02

chore: update stage0

opaque_repr2

23 Oct 03:05

Choose a tag to compare

opaquerepr-2023-10-23

Merge remote-tracking branch 'upstream/master' into opaquerepr

opaque_repr

19 Oct 06:18

Choose a tag to compare

opaquerepr-2023-10-19

README.md