We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
こんにちは.私は数学と Lean Prover に関係する活動をしています.
ご支援をいただけると大変励みになります.
Featured work
京都大学数学系の院試の問題と解答です
コード例で学ぶ Lean 言語
Learn more about sponsoring developers and organizations.
Report abuse
コーヒーをおごる ☕