recursion-schemes-lean4.git - FP with bananas, lenses, and barbed wire in lean4

index : recursion-schemes-lean4.git

FP with bananas, lenses, and barbed wire in lean4

tzlil

summary refs log tree commit diff

Branch	Commit message	Author	Age
master	idk	tzlil	20 months

generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-11-01 20:00:18 +0000