Using AXolotl to Construct Natural Deduction Proofs

preview_player
Показать описание
Another short tutorial video
Рекомендации по теме