Pinned Repositories
100isabelle
The Top 100 Theorems in Isabelle
afp-complex-networks
amd-shop-poller-de-bot
anomaly-detection-ml
elm-talk
isabelle-benchmark
Isabelle user benchmark.
sbt-isabelle-component
sequent_prover
isabelle-linter
Linter component for Isabelle.
findfacts
Project to make isabelle and the AFP easily searchable.
Dacit's Repositories
Dacit/isabelle-benchmark
Isabelle user benchmark.
Dacit/afp-complex-networks
Dacit/amd-shop-poller-de-bot
Dacit/anomaly-detection-ml
Dacit/elm-talk
Dacit/sbt-isabelle-component
Dacit/sequent_prover
Dacit/100isabelle
The Top 100 Theorems in Isabelle
Dacit/find-facts
Dacit/findfacts
Project to make isabelle and the AFP easily searchable.
Dacit/findfacts-deployment
Dacit/higher-order-substitution
Dacit/isabelle-addon-components
Collection of Isabelle Add-on Components
Dacit/isabelle-distributed-build
Dacit/isabelle-dumpconfig
Dacit/isabelle-formalization-quality
Dacit/isabelle-prover.github.io
Quicklinks
Dacit/isabelle-scala-scaffold
Scaffold for Isabelle/Scala Document Processing
Dacit/llama
Inference code for LLaMA models
Dacit/material-components-web-elm
Material Components for Elm
Dacit/mizar-server-contents
Dacit/pages-gem
A simple Ruby Gem to bootstrap dependencies for setting up and maintaining a local Jekyll environment in sync with GitHub Pages
Dacit/poly-reductions
Polynomial-time reductions in Isabelle/HOL
Dacit/sbt-elm
Scala Build Tool (SBT) plugin for the Elm programming language
Dacit/sphinx-doc-extended
ddidier/sphinx-doc + better-apidoc + sphinx-materialdesign-theme
Dacit/yxml-parser