タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

webとproofに関するOKU_s62のブックマーク (1)

  • ProofWeb

    What is ProofWeb? ProofWeb is both a system for teaching logic and for using proof assistants through the web. ProofWeb can be used in three ways. First, one can use the guest login, for which one does not even need to register. Secondly, a user can be a student in a logic or proof assistants course. We are hosting courses free of charge. If you are a teacher and would like to host your course on

  • 1