GitHub - pilif0/isa-Hyperdual: Isabelle/HOL formalisation of second-order hyperdual numbers

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
document		document
.gitignore		.gitignore
AnalyticTestFunction.thy		AnalyticTestFunction.thy
Hyperdual.thy		Hyperdual.thy
HyperdualFunctionExtension.thy		HyperdualFunctionExtension.thy
LogisticFunction.thy		LogisticFunction.thy
ROOT		ROOT
TwiceFieldDifferentiable.thy		TwiceFieldDifferentiable.thy