dstebila / pygamehop

[work in progress] Python framework for supporting cryptographic game-hopping proofs
13 stars 0 forks source link

Generate LaTeX from Python #2

Open dstebila opened 3 years ago

dstebila commented 3 years ago

Would be cool to be able to output LaTeX source code of a crypto function written in Python. We can recognize the type of statement (assign, function call, if, return), but the user would have to provide mapping of what they want individual variables to be rendered as (e.g., {'kem': '\mathsf{KEM}', 'pk': '\pk', ...}).