Another blog post: Forward reasoning in Lean 4

24 views
Skip to first unread message

Siddhartha Gadgil

unread,
Mar 14, 2022, 3:58:45 AM3/14/22
to automated-mat...@googlegroups.com
Dear All,
         I have posted another blog post at https://siddhartha-gadgil.github.io/automating-mathematics/posts/forward-reasoning-in-lean4/, this time about forward reasoning in Lean 4. Some parts assume some familiarity with Lean, but feel free to ask questions on this thread.

regards,
Siddhartha
Reply all
Reply to author
Forward
0 new messages