/

trending compare settings

a fast, modern browser for the NuGet registry

built Mar 4, 2026 · v0.2.0

trending compare settings

NuGet is a registered trademark of Microsoft. This site is not affiliated with Microsoft.

inspired by npmx.dev·powered by

Sylph — nugetz

allisterb/Sylphv0.2.5.2

docs d <> code .compare c

.NET FW4.5.NET Std2.0

F# language-integrated proof assistant.

License

Deps

3

Install Size

—

Vulns

✓ 0

Published

May 3, 2020

Get Started

$ dotnet add package Sylph

Readme

No README available.

Total Downloads

4.8K

Compatibility

.NET FW4.5

.NET Std2.0

Versions

0.2.5.2Latest

May 3, 2020

Other versions (5)

0.2.5.1May 3, 2020

0.2.5May 3, 2020

0.2.4Apr 29, 2020

0.2.3Mar 24, 2020

0.1.0Feb 22, 2020

Links

↗

Keywords

math logic theorem prover

Maintainers