Faster Smarter Induction in Isabelle/HOL

19 September 2020

Papers citing "Faster Smarter Induction in Isabelle/HOL"

3 / 3 papers shown

Title
Genetic Algorithm for Program Synthesis Yutaka Nagashima 33 1 0 22 Nov 2022
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction Yutaka Nagashima LRM 24 3 0 19 Oct 2020
Tactic Learning and Proving for the Coq Proof Assistant Lasse Blaauwbroek Josef Urban H. Geuvers 52 23 0 20 Mar 2020