Zulip Chat Archive
Stream: new members
Topic: floating trigonometric functions in Lean4
John Baker (Mar 14 2023 at 23:11):
Are standard floating trig functions available in Lean 4?
Julian Berman (Mar 14 2023 at 23:48):
John Baker (Mar 15 2023 at 00:08):
Thanks
Last updated: Dec 20 2023 at 11:08 UTC