issues
search
argumentcomputer
/
yatima
A zero-knowledge Lean4 compiler and kernel
MIT License
114
stars
8
forks
source link
Implement IPFS support
#196
Closed
arthurpaulino
closed
1 year ago
arthurpaulino
commented
1 year ago
Implements IPFS support (
get
and
put
)
Fixes IPLD serialization of Lean names
Implements the full deserialization of Stores
Fixes a bug in the converter, which was adding dummy constants for each mutual block
Eliminates the dependency of
CompileState
in the transpiler
Simplifies and optimizes the CLI
Closes #191 Closes #32
get
andput
)CompileState
in the transpilerCloses #191 Closes #32