funding.json directory

Michael Kantor

Individual
I maintain HOL Guard and lead HOL. I'm seeking support for the project's public Apache-2.0 code, tests and integration documentation.

Fund this individual

Report listing

Loading report form…

Unverified URL

The funding manifest has not provided proof via wellKnown that this link is associated with it. Learn more (opens in a new tab).