Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2010.10296
Cited By
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
19 October 2020
Yutaka Nagashima
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction"
2 / 2 papers shown
Title
Genetic Algorithm for Program Synthesis
Yutaka Nagashima
22
1
0
22 Nov 2022
Tactic Learning and Proving for the Coq Proof Assistant
Lasse Blaauwbroek
Josef Urban
H. Geuvers
44
23
0
20 Mar 2020
1
