Repository Issues

joelburget/JonPRL

An proof refinement logic for computational type theory based on realizability & meaning explanations. Inspired by Nuprl

GitHub で見る
Stars
 (0 stars)
Forks
 (0 forks)
Indexed issues
 (0 indexed issues)
open beginner issues
 (0 open beginner issues)
最終索引
まだ索引されていません
最終 GitHub push
2015年6月28日
ライセンス
ライセンスデータはありません
コントリビューションガイド
コントリビューションガイドはありません
行動規範
行動規範はありません
主要言語
Standard ML
PR merge metrics
 (PR metrics pending)
初心者向けラベル
索引済み初心者向けラベルはありません

Issue

0 open indexed issues

RSSAtom

このリポジトリには open の索引済み Issue がありません。