max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests/pkg/homo/lean-toolchain
Leonardo de Moura e542810e79
test: grind homomorphism demo (#13497) 
This PR adds an example for the Lean hackathon in Paris. It demonstrates
how users can implement https://hackmd.io/Qd0nkWdzQImVe7TDGSAGbA
2026-04-21 21:17:32 +00:00

1 line
30 B
Text
Raw Permalink Blame History

../../../build/release/stage1
Reference in a new issue View git blame Copy permalink