mahmoudimus / tamgram

High-level frontend language to Tamarin prover

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Tamgram

High-level frontend language to Tamarin prover

Authors : Di Long Li and Alwen Tiu, at The Australian National University, Canberra ACT 2600, Australia

User manual

About

High-level frontend language to Tamarin prover

License:MIT License


Languages

Language:OCaml 92.5%Language:TeX 3.6%Language:Python 1.6%Language:Shell 1.5%Language:Makefile 0.5%Language:Standard ML 0.1%Language:Dockerfile 0.1%