twelf-wasmRunning Twelf as a webassembly binary in a web pagetwelflogic programmingwasm0.1.8 • Published 1 month ago