cicada-notebookwasm core runs in web browser, with rich UI for theorem proving3 dependents1 version@infinitebrahmanuniverse/nolb-cic@everything-registry/sub-chunk-1326@zalastax/nolb-cic0.1.06 years ago