フォロー

標準様相論理の強完全性定理のコミットがマージされた.今後は有限モデル性などを示す予定.

github.com/iehality/lean4-logi

ログインして会話に参加
Fedibird

様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。