Lean An experimental language from the University of Nijmegen and University of East Anglia, based on graph rewriting and useful as an intermediate language ...
確定! 回上一頁