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