Lantern

swMATH30958MaRDI QIDQ42672FDOQ42672

Author name not available (Why is that?)

Source code repository: https://github.com/feiwang3311/Lantern

Cited In (2)

• Getting There and Back Again
• Categorical semantics of a simple differential programming language

This page was built for software: Lantern