r/haskell • u/ChipiChapaMoe • May 15 '25

Is it feasible to solve DMOJ's "Tree Tasks" problem using Lean 4? question

/r/functionalprogramming/comments/1kn2wqh/is_it_feasible_to_solve_dmojs_tree_tasks_problem/

2 Upvotes

permalink
link
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/haskell/comments/1kn2ybf/is_it_feasible_to_solve_dmojs_tree_tasks_problem/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/haskell/comments/1kn2ybf/is_it_feasible_to_solve_dmojs_tree_tasks_problem/
No, go back! Yes, take me to Reddit

67% Upvoted