Repository navigation

Typed_Prolog_Formalization

Public

About

No description, website, or topics provided.

BSD-3-Clause license

Custom properties

0 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
src		src
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
Typed-Prolog-Formalization.cabal		Typed-Prolog-Formalization.cabal
stack.yaml		stack.yaml

Repository files navigation

Typed_Prolog_Formalization

The repository will contain formalizations and testing implementations relating to typed prolog.

Things

Formalization of type system
Typed prolog program generator (Haskell)
Proof of correctness of type system

About

No description, website, or topics provided.

BSD-3-Clause license

Custom properties

0 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages