サクサク読めて、アプリ限定の機能も多数!
inference rule とか natural deduction, Hoare triple の記述に使える。
kirakking のブックマーク 2018/11/08 15:08
LaTeXによる証明図の記述 - kivantium活動日記[latex][tex][proof][slide]inference rule とか natural deduction, Hoare triple の記述に使える。2018/11/08 15:08
このブックマークにはスターがありません。 最初のスターをつけてみよう!
kivantium.hateblo.jp2016/02/13
証明図は「bussproof.sty」にお任せを参考にいくつか証明図を書いてみました。ひな形はこんな感じです。 \documentclass{jsarticle} \pagestyle{empty} \usepackage{bussproofs} \begin{document} \begin{prooftr...
3 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
inference rule とか natural deduction, Hoare triple の記述に使える。
kirakking のブックマーク 2018/11/08 15:08
このブックマークにはスターがありません。
最初のスターをつけてみよう!
LaTeXによる証明図の記述 - kivantium活動日記
kivantium.hateblo.jp2016/02/13
証明図は「bussproof.sty」にお任せを参考にいくつか証明図を書いてみました。ひな形はこんな感じです。 \documentclass{jsarticle} \pagestyle{empty} \usepackage{bussproofs} \begin{document} \begin{prooftr...
3 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /