Logical Frameworks - Musharof Chy

Musharof Chy

2579 ビュー

11 ヶ月前に作成

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

Musharof Chy

2579 ビュー

11 ヶ月前に作成

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

Musharof Chy

2579 ビュー

11 ヶ月前に作成

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

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Emacs based generic interface for theorem provers.

Musharof Chy

2579 ビュー

11 ヶ月前に作成

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

Musharof Chy

2579 ビュー

11 ヶ月前に作成

A type system based on second order intuitionistic logic.

Musharof Chy

2579 ビュー

11 ヶ月前に作成

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

Musharof Chy

2579 ビュー

11 ヶ月前に作成

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

Musharof Chy

2579 ビュー

11 ヶ月前に作成

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