Pantograph

chore: Update lean4-nix to mainline

#121 by aniva was merged 2024-11-15 17:44:02 -08:00

dev

misc/build

0.2.20

chore: Update Lean4 upstream to unofficial flake

category

organization

1

#115 by aniva was merged 2024-11-15 14:40:47 -08:00

dev

misc/build

0.2.20

chore: Update Lean to v4.12.0

category

organization

2

#108 by aniva was merged 2024-10-08 09:49:09 -07:00

dev

misc/version

0.2.19

chore: Update Lean to v4.10.0-rc1

#86 by aniva was merged 2024-07-06 21:37:30 -07:00

dev

misc/version

refactor: Cleanup the congruence tactics

#81 by aniva was merged 2024-06-23 13:35:36 -07:00

dev

tactic/congruence

0.3

chore: Version bump to v4.8.0-rc1

#75 by aniva was merged 2024-05-17 20:32:30 -07:00

dev

misc/version

0.3

chore: Update version to 0.2.15

category

organization

#68 by aniva was merged 2024-04-11 17:58:24 -07:00

dev

misc/version

test: Parallel testing infrastructure

#58 by aniva was merged 2024-04-06 14:16:46 -07:00

dev

misc/testing

chore: Version bump and toolchain cleanup

category

organization

#51 by aniva was merged 2024-03-28 22:36:26 -07:00

dev

misc/toolchain

build: Toolchain bump and Nix flake fix

category

organization

#49 by aniva was merged 2024-03-28 12:05:15 -07:00

dev

misc/toolchain

0.3

chore: Version downgrade to 0.2.10-alpha

category

organization

#38 by aniva was merged 2023-12-07 12:38:28 -08:00

dev

misc/version

chore: Remove unnecessary unsafe's

#29 by aniva was merged 2023-11-06 11:44:58 -08:00

dev

misc/cleanup

Nix flake

#21 by aniva was merged 2023-10-20 12:55:17 -07:00

dev

misc/nix

Bump Lean version to 4.1.0

category

organization

#17 by aniva was merged 2023-10-05 21:52:38 -07:00

dev

misc/toolchain

0.2.6

Add dependency for lakefile and lean-toolchain

category

organization

#16 by aniva was merged 2023-10-02 10:31:18 -07:00

dev

misc/build

Use makefile instead of ad-hoc script

category

organization

#15 by aniva was merged 2023-10-02 10:28:22 -07:00

dev

misc/build

Bump lean version to 4.0.0

category

organization

#13 by aniva was merged 2023-09-13 21:04:41 -07:00

dev

misc/version

Labels Milestones