'Keymaera x' trends

Domains containing the tag 'Keymaera x'

Bounce ratePages / VisitVisit duration

1keymaerax.org
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems
KeYmaera X is an aXiomatic Tactical Theorem Prover for Hybrid Systems with a minimal prover microkernel and a flexible tactics language for automatic proof search.

52.23 1.22 00:43