Vector graphics tagged with "theorem prover" in our library. They cover theorem prover-related concepts and come in both SVG and PNG formats.
There are 4 free theorem prover icons right now. New icons get added as we integrate more open-source icon packs.
Yes. Most icons on SVGOwl are free for personal and commercial use. Each pack has its own license (MIT, Apache, CC0, etc.). Check the icon detail page before using.
SVG and PNG. SVG files scale to any size without losing quality, so they're ideal for web development. PNG exports come in multiple sizes for use in design tools.
Click any icon to open its detail page. From there you can download it as SVG or PNG, and adjust colors or size before downloading. No signup needed.
