Konrad Slind
Results
1
issues of
Konrad Slind
It would be nice to have verified implementations of transcendentals (sin, cos, etc) in CakeML. Prior work has been done by John Harrison in his thesis (implementation of CORDIC) and...