A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
-
Updated
Feb 13, 2018 - Standard ML
#
lcf
Here are 6 public repositories matching this topic...
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
-
Updated
Jan 25, 2024 - OCaml
BIC Library Communication Framework
-
Updated
May 23, 2024 - C#
Java reference server for the BIC Library Communication Framework. This is a mirror of the git repository available at
-
Updated
Nov 16, 2022 - Java
OpenGL/GLSL implementation of longest common factor string distance (LCF/LCS/biggest Subset) search.
-
Updated
Oct 26, 2020 - Python
Improve this page
Add a description, image, and links to the lcf topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lcf topic, visit your repo's landing page and select "manage topics."