This repository has been archived by the owner on Sep 21, 2024. It is now read-only.

iehality / FOPL Public archive

Notifications You must be signed in to change notification settings
Fork 0
Star 0

First-Order Predicate Logic

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
Arithmetic.v		Arithmetic.v
Basic.v		Basic.v
Deduction.v		Deduction.v
FOPL.v		FOPL.v
Hierarchy.v		Hierarchy.v
Incompleteness.v		Incompleteness.v
LICENSE		LICENSE
ModelofArithmetic.v		ModelofArithmetic.v
README.md		README.md
Semantics.v		Semantics.v
SetoidL.v		SetoidL.v
Tactics.v		Tactics.v

Repository files navigation

FOPL

Formalizing First-Order Predicate Logic in Coq.

About

First-Order Predicate Logic

Report repository

Releases

No releases published

Packages

No packages published

Languages

Coq 100.0%