swMATH10277MaRDI QIDQ22240FDOQ22240
Author name not available (Why is that?)
Official website: https://github.com/flyspeck/flyspeck
Source code repository: https://github.com/flyspeck/flyspeck
Cited In (only showing first 100 items - show all)
- The Isabelle Framework
- FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover
- Flyspeck I: Tame Graphs
- IMP++
- MPTP 0.2
- MoMM
- Mizar
- Proof General
- HOL
- HOL Light
- MML
- Sledgehammer
- Clide
- ML4PG
- QMT
- MaLeCoP
- MathJax
- Polar
- MaSh
- ALF
- CakeML
- Intsolver
- NLCertify
- EAT
- Coq/SSReflect
- VSDITLU
- CERES
- gaia
- leanCoP
- SAD
- PhoX
- E Theorem Prover
- PRocH
- MaLARea
- HOLyHammer
- Locales
- AgsyHOL
- Metamath
- SMTtoTPTP
- FOOL
- CodeV
- E-MaLeS
- LASCAD
- ORME
- SigmaKEE
- seL4
- Zemax
- BliStr
- HOL Zero
- Tactician
- MizAR 40 for Mizar 40
- Matrix Operations
- AGORA
- BliStrTune
- miz3
- FEMaLeCoP
- A3PAT
- SEPIA
- SRASS
- Hierarchical invention of theorem proving strategies
- kFOIL
- Jordan
- kepler98
- OpenNMT
- DeepMath
- RealCertify
- Naproche
- ATPboost
- Arrow Gibbard Satterthwaite
- Echelon Form
- FinFuns
- Gauss-Jordan
- Jinja Threads
- ENIGMA
- NASA PVS
- Jinja not Java
- Native Word
- Girth-Chromatic
- CoqHammer
- Tame Graphs
- Rank Nullity
- Real_Impl
- TacticToe
- FLOTTER
- Holophrasm
- AutoCorres
- Network Security Policy Verification
- Regular_Algebras
- OpenTheory
- TGView3D
- Adimen-SUMO
- egg
- transcendentals.ml
- A Compiled Implementation of Normalization by Evaluation
- Hammer for Coq: automation for dependent type theory
- PRocH: proof reconstruction for HOL Light
- Proof pearl: a probabilistic proof for the girth-chromatic number theorem
- Parsing and disambiguation of symbolic mathematics in the Naproche system
- Metis
- TacticToe: learning to reason with HOL4 tactics
This page was built for software: Flyspeck
