{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/LPPaver","name":"LPPaver","description":"Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme","version":"0.0.5.0","softwareVersion":"0.0.5.0","license":"https://spdx.org/licenses/MPL-2.0","codeRepository":"https://github.com/rasheedja/LPPaver","issueTracker":"https://github.com/rasheedja/LPPaver/issues","url":"https://github.com/rasheedja/LPPaver#readme","keywords":["formal-methods","library","math","mathematics","maths","mpl","program","theorem-provers","verification","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"JavaScript"},"maintainer":[{"@type":"Person","name":"JunaidRasheed"}],"author":[{"@type":"Person","name":"JunaidRasheed"}],"copyrightHolder":[{"@type":"Person","name":"JunaidRasheed"}],"dateCreated":"2022-10-26","dateModified":"2023-03-13","datePublished":"2023-03-13","copyrightYear":2022,"downloadUrl":"https://hackage.haskell.org/package/LPPaver-0.0.5.0/LPPaver-0.0.5.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/LPPaver"],"https://www.w3.org/ns/activitystreams#likes":5}