epfl-lara/lisa Software

Authors Simon Guilloud , Sankalp Gambhir , Andrea Gilot , Viktor Kunčak



Document Identifiers

Author Details

Simon Guilloud
  • Laboratory for Automated Reasoning and Analysis, EPFL, Lausanne, Switzerland
Sankalp Gambhir
  • Laboratory for Automated Reasoning and Analysis, EPFL, Lausanne, Switzerland
Andrea Gilot
  • Laboratory for Automated Reasoning and Analysis, EPFL, Lausanne, Switzerland
Viktor Kunčak
  • Laboratory for Automated Reasoning and Analysis, EPFL, Lausanne, Switzerland

Content

Version/Status

  • Content created at: 2021-12-15
  • Status: Active (at the time of publication 2024-11-28)

Cite As Get BibTex

Simon Guilloud, Sankalp Gambhir, Andrea Gilot, Viktor Kunčak. epfl-lara/lisa (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22517

Description

Proof assistant based on first-order logic and set theory

Subject Classification

Keywords
  • Proof Assistant
  • Set Theory
  • First-Order Logic
Programming Languages
  • Scala
  • TeX
  • Makefile
  • Perl

Metrics

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail