Replies

• 

  Amélia Liao 🍊amy@types.pl

  Sep 10, 2026, 10:19 AM

  @joomy @joshchen https://github.com/leanprover/con-leche

  💬 0🔄 0⭐ 0
• 

  Josh Chenjoshchen@types.pl

  Sep 10, 2026, 10:19 AM

  @joomy con-leche is the external proof checker on GitHub; Joachim Breitner announced it publicly on Mastodon a bit ago https://github.com/leanprover/con-leche

  💬 0🔄 0⭐ 0
• 

  joomyjoomy@functional.cafe

  Sep 10, 2026, 10:42 AM

  @joshchen thanks!

  💬 0🔄 0⭐ 0