xqyww123

xqyww123's Stars

• xqyww123/Isa-Proof-Shell

  A proof assistant adapter designed for machine learning

  9

• xqyww123/Isa-REPL

  Isabelle REPL

  Language:Standard ML9

• xqyww123/auto_sledgehammer

  This Isabelle session provides a smart tactic that wraps Sledgehammer

  Language:Standard ML3

• bk138/gromit-mpx

  Gromit-MPX is an on-screen annotation tool that works with any Unix desktop environment under X11 as well as Wayland.

  Language:C1k83

• xqyww123/phi-system

  Language:Isabelle6

• plctlab/PLCT-Weekly

  软件所PLCT实验室在开源领域的不定期简报

  Language:HTML585106

• KoenZomers/KeePassOneDriveSync

  Allows syncing of KeePass databases stored on OneDrive Personal, OneDrive for Business or SharePoint

  Language:C#38042

• albertqjiang/Portal-to-ISAbelle

  https://albertqjiang.github.io/Portal-to-ISAbelle/

  Language:Python5018

• wiio12/LEGO-Prover

  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries

  Language:Python534

• HKUNLP/subgoal-theorem-prover

  Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"

  17

• htaohongtao/mobidict

  MOBI dictionary viewer

  Language:C++32

• vprover/vampire

  The Vampire Theorem Prover

  Language:C++29852

• diku-dk/sml-json

  Standard ML package for JSON parsing and printing

  Language:Standard ML72

• smlnj/smlnj

  Standard ML of New Jersey

  Language:Standard ML18414

• xqyww123/Uniswap_v

  Language:Isabelle10

• rems-project/cerberus

  Cerberus C semantics

  Language:OCaml5328

• seL4/l4v

  seL4 specification and proofs

  Language:Isabelle514108

• tomhrr/cosh

  Concatenative command-line shell

  Language:Rust1352

• UAlbertaALTLab/morphodict

  The Language Independent Intelligent Dictionary

  Language:Python2311

• KabbAmine/vullScreen.vim

  Full-screen mode for Vim on GNU/Linux

  Language:Vim script6

• lambdalisue/vim-fullscreen

  A plugin which help users to toggle a fullscreen mode on GVim or MacVim.

  Language:Vim Script313

• lammich/isabelle_llvm

  Isabelle LLVM Code Generator and Refinement

  Language:Isabelle263

• whonore/Coqtail

  Interactive Coq Proofs in Vim

  Language:Python27434

• jaycech3n/Isabelle-HoTT

  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle

  Language:Standard ML344

• firefighterduck/isariris

  An experimental port of the Iris separation logic framework to Isabelle/HOL. This work is developed as part of a Master's thesis.

  Language:Isabelle4

• xrchz/isabelle-opentheory

  Interface between Isabelle/HOL and OpenTheory

  Language:Isabelle32

• isabelle-prover/cookbook

  A collection of useful tips/tricks/hints for Isabelle users.

  Language:Isabelle154

• nielstron/vimulator

  A vim-emulator for jEdit 5

  Language:Java154

• jrh13/hol-light

  The HOL Light theorem prover

  Language:OCaml42978

• piotrmurach/tty

  Toolkit for developing sleek command line apps.

  Language:Ruby2.5k79