Sylph (nuget): F# language-integrated proof assistant.
Keywords: math|logic|theorem|prover