ondanaoto

ondanaoto's Stars

• zhangir-azerbayev/repl

  A simple REPL for Lean 4, returning information about errors and sorries.

  Language:Lean101

• lean-ja/fp-lean-ja

  Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）

  Language:Lean52

• morph-labs/llm-verified-with-monte-carlo-tree-search

  LLM verified with Monte Carlo Tree Search

  Language:Python8

• proof-ninja/coqban

  Language:TypeScript8