epfl-lara/lisa

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

doi:10.4230/artifacts.22517

Artifact

epfl-lara/lisa Software

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

Part of: Collection: Supplementary Materials
License: Apache License 2.0
Publication Date: 2024-11-28

Document Identifiers

DOI: 10.4230/artifacts.22517
URN: urn:nbn:de:0030-drops-225171

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

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail