Repository Issues

kach/prufrock

A literary proof assistant built on the affine calculus of inductive constraints

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

Issue

0 open indexed issues

RSSAtom

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