{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/hout","name":"hout","description":"Hout is an in-Haskell non-interactive proof assistant for\nintuitionistic first-order logic, using Haskell's type\nsystem. If a proof written in Hout compiles, it is correct.\n\nAlternatively, Hout provides an indexed monad which,\ncombined with Haskell's do notation, allows for writing\nHaskell code in the style of proof assistants.\n\nThe main part of Hout's value is found in\nHout.Prover.Tactics, which defines the Tactic monad\nand several proof tactics similar to those found in Coq.\nOther useful defintions for using Hout can be found in\nHout.Prover.Proofs.","version":"0.1.0.0","softwareVersion":"0.1.0.0","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/ivanbakel/hout-prover","issueTracker":"https://github.com/ivanbakel/hout-prover/issues","url":"https://github.com/ivanbakel/hout-prover#readme","keywords":["bsd3","library","logic","type-system","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"ivanbakel"}],"author":[{"@type":"Person","name":"ivanbakel"}],"copyrightHolder":[{"@type":"Person","name":"ivanbakel"}],"dateCreated":"2020-04-11","dateModified":"2020-04-11","datePublished":"2020-04-11","copyrightYear":2020,"downloadUrl":"https://hackage.haskell.org/package/hout-0.1.0.0/hout-0.1.0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/hout"],"https://www.w3.org/ns/activitystreams#likes":40,"https://forgefed.org/ns#forks":1}