Projects / User Interfaces
Resources / Tutorials and Hints
Projects / User Interfaces
Projects / Verified Software
Resources / Blogs
]]>Projects / User Interfaces
Projects / Package and Build Management
Projects / Plugins
Resources / Course Material
Projects / Frameworks
Resources / Community
]]>Projects / User Interfaces
Projects / Type Theory and Mathematics
Resources / Blogs
]]>Projects / Frameworks
Projects / Puzzles and Games
Resources / Course Material
Resources / Course Material
Projects / Verified Software
Resources / Community
Resources / Course Material
Projects / Tools
Resources / Course Material
Projects / Libraries
Resources / Course Material
Projects / Frameworks
Resources / Community
]]>Projects / Tools
Resources / Community
Resources / Blogs
]]>Projects / Plugins
Projects / Frameworks
Projects / Plugins
Projects / Type Theory and Mathematics
Projects / Verified Software
Resources / Course Material
Projects / Libraries
Projects / Tools
Projects / Type Theory and Mathematics
Projects / Libraries
Resources / Books
Projects / Libraries
Projects / Package and Build Management
Projects / Libraries
Projects / Package and Build Management
Projects / Verified Software
Projects / Libraries
Projects / Verified Software
Projects / Libraries
Projects / Tools
Resources / Community
]]>Projects / Tools
find-bug.py
- Automatically minimizes source files producing an error, creating small test cases for Coq bugs.absolutize-imports.py
- Processes source files to make loading of dependencies robust against shadowing of file names.inline-imports.py
- Creates stand-alone source files from developments by inlining the loading of all dependencies.minimize-requires.py
- Removes loading of unused dependencies.move-requires.py
- Moves all dependency loading statements to the top of source files.move-vernaculars.py
- Lifts many vernacular commands and inner lemmas out of proof script blocks.proof-using-helper.py
- Modifies source files to include proof annotations for faster parallel proving.Projects / Frameworks
Projects / Libraries
Projects / Tools
Resources / Books
Projects / Plugins
Projects / Tools
Projects / Frameworks
Projects / Libraries
Projects / Package and Build Management
Projects / Tools
Projects / Verified Software
Projects / Package and Build Management
Projects / Tools
Projects / Verified Software
Resources / Tutorials and Hints
Projects / Package and Build Management
Projects / Libraries
Projects / Package and Build Management
Projects / Tools
Projects / Frameworks
Projects / Tools
Projects / Type Theory and Mathematics
Resources / Blogs
]]>Projects / Libraries
Projects / Tools
Projects / Type Theory and Mathematics
Resources / Community
Resources / Books
Resources / Course Material
Projects / Type Theory and Mathematics
Resources / Community
]]>Projects / Libraries
Projects / Plugins
Projects / Type Theory and Mathematics
Resources / Community
]]>Projects / Verified Software
Resources / Community
]]>Projects / Package and Build Management
Projects / Type Theory and Mathematics
Resources / Books
Resources / Tutorials and Hints
Projects / Libraries
Projects / Plugins
Projects / Package and Build Management
Projects / Tools
Projects / Libraries
Projects / Tools
Resources / Community
Resources / Blogs
]]>Projects / Frameworks
Projects / Libraries
Projects / Package and Build Management
Projects / Tools
Resources / Books
Projects / User Interfaces
Projects / Type Theory and Mathematics
Projects / Libraries
Projects / Plugins
Projects / Tools
Projects / Type Theory and Mathematics
Projects / Verified Software
Resources / Community
Resources / Tutorials and Hints
Projects / Libraries
Projects / Plugins
Projects / Type Theory and Mathematics
Projects / Verified Software
Projects / Frameworks
Projects / User Interfaces
Projects / Libraries
Projects / Plugins
Projects / Tools
Projects / Type Theory and Mathematics
Projects / Verified Software
Resources / Community
]]>Resources / Blogs
]]>