Giters
Mathias Fleury (m-fleury)

m-fleury

Geek Repo

13

followers

16

following

22

stars

Home Page:https://m-fleury.github.io/

Github PK Tool:Github PK Tool

Mathias Fleury's repositories

isabelle-emacs

Clone of isabelle, with LSP extensions in seperate branches

Language:IsabelleLicense:NOASSERTIONStargazers:21Issues:3Issues:82

isar-mode

A simple emacs mode for Isabelle (.thy) files

Language:Emacs LispStargazers:3Issues:1Issues:0

m-fleury.github.io

Language:HTMLStargazers:1Issues:1Issues:0

benchmark-submission

Repository for the submission of SMT-LIB benchmarks for the 2023 release.

Language:SMTStargazers:0Issues:0Issues:0

cadical

CaDiCaL SAT Solver

Language:C++License:MITStargazers:0Issues:0Issues:0

cryptominisat

An advanced SAT solver

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

frat

DRAT proof processor

Language:RustStargazers:0Issues:0Issues:0

glucose

The glucose SAT solver

Language:C++License:MITStargazers:0Issues:0Issues:0

isabelle-snippets

Snippets for Isabelle/VSCode

Language:PerlLicense:MITStargazers:0Issues:1Issues:0

ParaCuber

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

satch

SAT Solver SATCH

Language:CLicense:MITStargazers:0Issues:0Issues:0