EasyChair Smart SlideDocs/Log in
Conference: UITP 2018 (International Workshop on User Interfaces for Theorem Provers 2018)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Automated Theorem Proving in a Chat Environment

Automated Theorem Proving in a Chat Environment

Rustam Zhumagambetov and Mark Sterling

Isabelle/PIDE after 10 years of development

Isabelle/PIDE after 10 years of development

Makarius Wenzel

Interfacing with a Prover using Focusing and Logic Programming

Interfacing with a Prover using Focusing and Logic Programming

Tomer Libal

Designing Globular: formal proofs as geometrical objects (Invited Talk)

Designing Globular: formal proofs as geometrical objects (Invited Talk)

Jamie Vicary

Partial Regularization of First-Order Resolution Proofs

Partial Regularization of First-Order Resolution Proofs

Jan Gorzny, Ezequiel Postan and Bruno Woltzenlogel Paleo

Presentations in this collection: 5
Copyright © 2002 – 2024 EasyChair