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 8 public repositories matching this topic...
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
-
Updated
May 14, 2026 - OCaml
BIC Library Communication Framework
-
Updated
Jan 11, 2025 - 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
GUI to generate command-line call for Lua code formatter.
-
Updated
Oct 29, 2024 - Lua
OpenGL/GLSL implementation of longest common factor string distance (LCF/LCS/biggest Subset) search.
-
Updated
Oct 26, 2020 - Python
Small LCF-style prover for minimal propositional logic
-
Updated
Oct 14, 2025 - OCaml
An LCF-style proof assistant for Intuitionistic first-order logic + Feferman's FS0 set theory
proof-assistant lcf natural-deduction theorem-prover intuitionistic-logic lcf-style fs0-set-theory metalogical-framework
-
Updated
May 8, 2026 - TeX
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."