A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. Features include: very expressive logical language based on Martin-Lof type theory, extensive library of formal mathematics and automata theory, possibility of an extraction a certified program from the constructive proof of its formal specification, graphical proof editor. NuPrl was successfully used in verifying components of the Ensemble group communications system.
連絡先情報
カタログ内
5,025 ビュー450 今日の読者25 シェア
Musharof Chy•2025/02/21•1 分で読めます•11 ヶ月前に更新
よくある質問
車椅子でアクセスできますか？
アクセシビリティ情報は利用可能な場合に提供されます。
どのように連絡できますか？
連絡先情報は kb.pub で利用できます。
営業時間は何時ですか？
営業時間はビジネス情報セクションに記載されています。
このビジネスはどこにありますか？
このページに提供されている場所の詳細と地図を確認してください。
どの支払い方法が受け入れられますか？
支払いオプションは通常、ビジネスの詳細に記載されています。
駐車場はありますか？
駐車場情報はビジネスの説明に含まれている場合があります。
予約を受け付けていますか？
予約ポリシーについては、ビジネスの詳細を確認してください。
他にも質問がありますか？詳細については kb.pub をご覧ください。
