Pages that link to "Item:Q2829238"

From MaRDI portal

← An Isabelle/HOL Formalisation of Green’s Theorem (Q2829238)

Jump to:navigation, search

The following pages link to An Isabelle/HOL Formalisation of Green’s Theorem (Q2829238):

Displaying 3 items.

Reliable reconstruction of fine-grained proofs in a proof assistant (Q2055877) (← links)
An Isabelle/HOL formalisation of Green's theorem (Q2323451) (← links)
A Coq formalization of Lebesgue integration of nonnegative functions (Q2673304) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q2829238"