https://gitlab.com/tezos/tezos
Raw File
Tip revision: 1bc318cda7a7ad59519a18d95c5fffdf2fc6c5d4 authored by phink on 21 February 2024, 12:33:54 UTC
Contrib: ai-sim project init with issuance curve
Tip revision: 1bc318c
gt_02.tzt
code { GT } ;
input { Stack_elt int 0 } ;
output { Stack_elt bool False } ;
back to top