scientific article; zbMATH DE number 1765687
From MaRDI portal
Publication:4539627
zbMath0988.68609MaRDI QIDQ4539627
L. Lorigo, Stephan Schmitt, Christoph Kreitz, Aleksey Nogin
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830421
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Practical Proof Search for Coq by Type Inhabitation ⋮ Innovations in computational type theory using Nuprl ⋮ Hammer for Coq: automation for dependent type theory ⋮ The ILTP problem library for intuitionistic logic ⋮ Theorem prover for intuitionistic logic based on the inverse method ⋮ leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) ⋮ A Non-clausal Connection Calculus ⋮ nanoCoP: A Non-clausal Connection Prover ⋮ JProver
Uses Software
