Fungrim home page

\sin(\pi) = 0

Entry(ID("e2161b"), Formula(Equal(Sin(ConstPi), 0)))

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-10-05 13:11:19.856591 UTC