GitHub - coins11/fol-and-formalism: Introduction to the First-order Logic and Formalism (論理と形式化)

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
2012-04-19		2012-04-19
2012-04-26		2012-04-26
2012-06-07		2012-06-07
exam		exam

About

Introduction to the First-order Logic and Formalism (論理と形式化)

www.coins.tsukuba.ac.jp/syllabus/GB12601.html

Custom properties

Report repository

Releases

No releases published

Packages

Languages

Coq 100.0%