I'm now in "writing custom Lean tactic" phase of implementing the simplest FP conversion algorithm.
Падабаецца 0
Рэпосты 0
@vitaut Sometimes you say the most attractive things 🤩
Падабаецца 0
Рэпосты 0
@josh Are you into Lean?
Падабаецца 0
Рэпосты 0