Qiuzhen-CFSG

Popular repositories Loading

1. CFSG CFSG Public

   Lean formalization of CFSG

   Lean 16 5

2. lean-lsp-mcp lean-lsp-mcp Public

   Forked from oOo0oOo/lean-lsp-mcp

   Lean Theorem Prover MCP

   Python

3. skills skills Public

4. lean-eval lean-eval Public

   Forked from leanprover/lean-eval

   Comparator-based Lean formal mathematics eval

   Lean