Search the index

Query analyzed artifacts from registries, marketplaces, and lab uploads — or see the latest 303 hostile catches in the fallout →

plgg-ir-thesis-proof 0.0.1 A runnable formal-proof worked example on the plgg-ir stack. Takes argumentation models written in the qmu 概念メタモデル vocabulary (主張 / 関係 / フレ… Jul 22 javascript
a74c821c0bd6480bcf9f04988e005aa000bc27db040cdb1df9b184cf38385d0c H₃(DbOsPo)Md₂(Pa₄)
57% Legitimate academic argumentation library