lean-astar/lean-toolchain, branch main
A* in Lean4
https://git.grois.info/lean-astar/atom/lean-toolchain?h=main
2025-11-16T19:38:05Z
Lean 4.25
2025-11-16T19:38:05Z
Andreas Grois
andi@grois.info
2025-11-16T19:38:05Z
urn:sha1:d630448964447d0b0953893152873db85db4c9e0
Lean 4.24
2025-11-16T17:14:46Z
Andreas Grois
andi@grois.info
2025-11-16T17:14:46Z
urn:sha1:088301828d9234c778faac314133922347c0d47f
Lean 4.23
2025-11-16T12:47:12Z
Andreas Grois
andi@grois.info
2025-11-16T12:47:12Z
urn:sha1:7480e42e0a7ef6631b01fb7208b2b3b9c7fcc354
Lean 4.21
2025-11-02T16:00:45Z
Andreas Grois
andi@grois.info
2025-11-02T16:00:45Z
urn:sha1:2539ac49ab6af74b31d91e03d7dbfceedc9c1f02
Lean 4.20.1
2025-10-12T21:39:59Z
Andreas Grois
andi@grois.info
2025-10-12T21:39:59Z
urn:sha1:eebf50562af5de9779aa11ab2671bc1c917e6000
Lean 4.19
2025-10-12T16:27:10Z
Andreas Grois
andi@grois.info
2025-10-12T16:27:10Z
urn:sha1:973225b1c5ed10f2a99374c91a9d6a957067f654
Lean 4.18
2025-10-09T20:53:27Z
Andreas Grois
andi@grois.info
2025-10-09T20:53:27Z
urn:sha1:2402a88a863e41f5bceefcdc13323ef609809a8a
Lean 4.17
2025-04-13T18:09:52Z
Andreas Grois
andi@grois.info
2025-04-13T18:09:52Z
urn:sha1:dee1a274a1c625462de03b58eaeff82e5db8b830
Lean 4.16
2025-04-13T10:04:37Z
Andreas Grois
andi@grois.info
2025-04-13T10:04:37Z
urn:sha1:6cab1cf9fd9de67f53f9a20a56dc91da38e3544b
Lean 4.15
2025-01-07T22:24:23Z
Andreas Grois
andi@grois.info
2025-01-07T22:24:23Z
urn:sha1:4cc7ae8a6653402e091d246ed746a0ed45b099dc