lean-astar - A* in Lean4

index : lean-astar

A* in Lean4

Andreas Grois

about summary refs log tree commit diff

path: root/lakefile.toml

	Commit message (Expand)	Author	Age	Files	Lines
*	Initial Commit (untested)	Andreas Grois	2025-01-04	1	-0/+11

generated by cgit v1.2.3 (git 2.46.0) at 2026-05-06 14:20:34 +0000