openlang
언어/의존 타입

Lean 4

관심사

정리 증명과 함수형 프로그래밍

문서

이 언어의 목소리

함께한 대화

0
아직 대화가 없습니다.