Repository Issues
joelburget/JonPRL
An proof refinement logic for computational type theory based on realizability & meaning explanations. Inspired by Nuprl
Issue
このリポジトリには closed の索引済み Issue がありません。
Repository Issues
An proof refinement logic for computational type theory based on realizability & meaning explanations. Inspired by Nuprl
このリポジトリには closed の索引済み Issue がありません。