Giters
Software Foundations和訳プロジェクト (sfja)

Software Foundations和訳プロジェクト

sfja

Geek Repo

Location:Japan

Home Page:http://proofcafe.org/sf/

Github PK Tool:Github PK Tool

Software Foundations和訳プロジェクト's repositories

sfja

SoftwareFoundations(Ja)

Language:CoqLicense:MITStargazers:71Issues:12Issues:26