2024-07-03

2024-07-03

  • Leanで仿射λ計算: abstractionのinversion lemmaを證明
-

0 件のコメント:

コメントを投稿

登録: コメントの投稿 (Atom)