Package Details: isabelle-linter 2023-1.0

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.23
First Submitted: 2024-05-06 13:52 (UTC)
Last Updated: 2024-05-06 14:49 (UTC)

Latest Comments