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

github.com/kantorcodes

Unverified URL

The funding manifest has not provided proof via wellKnown that this link is associated with it. Learn more.

Continue