HomeIsabelle/Phabricator
Diffusion Poly/ML 5318f518687c

Add clarifying comment
5318f518687c
Actions

Description

Add clarifying comment

Details

Provenance
quanrong <quanrong@mailbox.org>Authored on May 31 2023, 10:15 PM
Parents
rPOLYMLbf1f331926d9: Fix exp calculation according to the Basis spec
Branches
Unknown
Tags
Unknown

Event Timeline

quanrong <quanrong@mailbox.org> committed rPOLYML5318f518687c: Add clarifying comment (authored by quanrong <quanrong@mailbox.org>).May 31 2023, 10:15 PM

Changes (1)

PathSize
basis/

rPOLYML5318f518687c

View Options

basis/IEEEReal.sml

Loading...