ecosyste.ms

All services

Data

Packages
Repositories
Advisories

Tools

Dependency Parser
Dependency Resolver
SBOM Parser
License Parser
Digest
Archives
Diff
Summary

Indexes

Timeline
Commits
Issues
Sponsors
Docker
Open Collective
Dependabot

Applications

Funds
Dashboards

Experiments

OST
Papers
Awesome
Ruby

Open Source Science

Fund name

Fields
Support
GitHub
API

Projects

Updated 8 months ago

hol-c • Science 54%

A proof-of-concept LCF-style interactive theorem prover for HOL(C)

logic mathematical-logic theorem-prover

Ecosyste.ms

Tools and open datasets to support, sustain, and secure critical digital infrastructure.

Code: AGPL-3 — Data: CC BY-SA 4.0

Supported by

Become a sponsor

About
Blog
Contact
Privacy
Terms
Status