AUR (en) - isabelle-linter

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Git Clone URL:	https://aur.archlinux.org/isabelle-linter.git (read-only, click to copy)
Package Base:	isabelle-linter
Description:	A linter component for Isabelle
Upstream URL:	https://github.com/isabelle-prover/isabelle-linter/
Keywords:	isabelle
Licenses:	MIT
Groups:	science
Submitter:	David-Wang
Maintainer:	David-Wang
Last Packager:	David-Wang
Votes:	1
Popularity:	0.000014
First Submitted:	2024-05-06 13:52 (UTC)
Last Updated:	2024-05-06 14:49 (UTC)