Logical Frameworks - Musharof Chy

Musharof Chy

2579 views

Created 11 months ago

A powerful tool for interactive proof development in the natural deduction style. It supports refin...

Musharof Chy

2579 views

Created 11 months ago

A successor to the proof editor Alf with a graphical user interface, being developed at the Program...

Musharof Chy

2579 views

Created 11 months ago

A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. Fe...

Musharof Chy

2579 views

Created 11 months ago

Emacs based generic interface for theorem provers.

Musharof Chy

2579 views

Created 11 months ago

A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a re...

Musharof Chy

2579 views

Created 11 months ago

A type system based on second order intuitionistic logic.

Musharof Chy

2579 views

Created 11 months ago

Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and T...

Musharof Chy

2579 views

Created 11 months ago

The system documented originated at the Laboratory for Applied Logic of Brigham Young University an...

Musharof Chy

2579 views

Created 11 months ago

A proof-assistant for Pure Type Systems (PTSs), representing different logics and programming langu...