#

lcf-style

Here are 2 public repositories matching this topic...

FlorianCassayre / lcf-scala

Prototype for LCF-style theorem proving, verified by the compiler and execution-less.

scala theorem-proving lcf-style

Updated Nov 7, 2019
Scala

FlorianCassayre / semester-project

Semester Project at LARA (EPFL)

epfl set-theory formal-methods automated-reasoning lara lcf-style

Updated Nov 21, 2020
Scala

Improve this page

Add a description, image, and links to the lcf-style topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lcf-style topic, visit your repo's landing page and select "manage topics."