lcf

There are 6 repositories under lcf topic.

  • RedPRL/sml-dependent-lcf

    A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!

    Language:Standard ML1614181

  • c-cube/trustee

    [wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.

    Language:OCaml11652

  • bic-org-uk/bic-lcf

    BIC Library Communication Framework

    Language:C#791834

  • martin-eden/lcf_params_gui

    GUI to generate command-line call for Lua code formatter.

    Language:Lua3200

  • ceridwen-com/lcfserver

    Java reference server for the BIC Library Communication Framework. This is a mirror of the git repository available at

    Language:Java2232

  • ecomp-shONgit/gpusearch

    OpenGL/GLSL implementation of longest common factor string distance (LCF/LCS/biggest Subset) search.

    Language:Python110