The following pages link to Jacques D. Fleuriot (Q2102945):
Displaying 26 items.
- (Q865647) (redirect page) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- WorkflowFM: a logic-based framework for formal process specification and composition (Q2405262) (← links)
- Theorem proving in infinitesimal geometry (Q2720298) (← links)
- (Q2739733) (← links)
- (Q2754041) (← links)
- A Combinator Language for Theorem Discovery (Q2907337) (← links)
- Automation for Dependently Typed Functional Programming (Q3002482) (← links)
- Composable Discovery Engines for Interactive Theorem Proving (Q3088022) (← links)
- Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL (Q3102733) (← links)
- An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time (Q3102743) (← links)
- ProofScript: Proof Scripting for the Masses (Q3179409) (← links)
- Type Inference for ZFH (Q3453108) (← links)
- Formalizing Hilbert’s Grundlagen in Isabelle/Isar (Q3559773) (← links)
- (Q4249889) (← links)
- Mechanizing Nonstandard Real Analysis (Q4504968) (← links)
- (Q4530838) (← links)
- (Q4556039) (← links)
- An Isabelle-Like Procedural Mode for HOL Light (Q4933332) (← links)
- (Q4946078) (← links)
- Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Proverʼs Palette (Q5170239) (← links)
- Theorem Proving in Higher Order Logics (Q5464664) (← links)
- Automated Deduction in Geometry (Q5493316) (← links)
- Combining Isabelle and QEPCAD-B in the Prover’s Palette (Q5505513) (← links)
- Correction to: ``Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL'' (Q6156637) (← links)
