Repository navigation

nfm-2020-submission

Public

About

NFM 2020 submission

Custom properties

0 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
idris-dsl		idris-dsl
CSR.idr		CSR.idr
EnvironmentVF.idr		EnvironmentVF.idr
R1CSHelper.idr		R1CSHelper.idr
README.md		README.md
SExpr.idr		SExpr.idr
SexpParser.idr		SexpParser.idr
WriteR1CS.idr		WriteR1CS.idr
WriteR1CSRoutines.idr		WriteR1CSRoutines.idr
listLengthVarCounter.idr		listLengthVarCounter.idr

Repository files navigation

NFM 2020 Submission

Correct-by-Construction Rank-1 Constraint Systems

Palakodety S. et al

Idris backend: idris-dsl

SExpr type definition : SExpr.idr

R1CS writers : WriteR1CS.idr

About

NFM 2020 submission

Custom properties

0 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages