모든 플러그인으로 돌아가기

math-lean

@Fisfzy

1 stars

소개

dsh-lean-prover: Lean 커널 검증 수학 추론 플러그인 (DSH Cordis).

설명은 원본에서 기계 번역되었습니다.

주제

dshxleanmathproof-verification