結城浩のブログ

Author
About
Feedback

Tag: coq

Installing CoqIDE 8.7.0 to MacBook

2018-04-21 coq math mac

Tweet

結城浩（ゆうき・ひろし） @hyuki

『数学ガール』作者。結城メルマガとWeb連載を毎週書いてます。文章書きとプログラミングが好きなクリスチャン。2014年日本数学会出版賞受賞。

Home Twitter note 結城メルマガ書いた本

ai amazon animation apache api audio audio2video aws background backup bash blender blog book bookmarklet bootstrap border brew centos cgi chrome clang cli cloud color convert coq cron cryptography css curl diary discord discover dns docker domain dropbox electron emacs encode eps erb esa escape evernote excel facebook favstar ffmpeg file font ftp getopts gif gist git github go graphics heroku html https hub icon identity ifttt image imagemagick images inkscape install iPhone iphone iterm2 java javascript jpg jquery js keyboard kindle latex localhost localstorage mac mail makefile markdown mastodon math matplotlib mechanize mkcert monacoin mp3 mp4 netlify newsletter nginx nokogiri notification numpy ocaml ocr openssl pandoc paper passenger pdf physics pixelmator polly potrace present primer processing programming pwa python quiz rails regexp rgb rmagick rss ruby rust s3 sakura scansnap scrapbox script security shortcut slack snap sns sound ssh ssl stablediffusion stat svg task terminal tex texlive text tikz tips todo tool trackpad twitter ulysses unicode unix uri usb vcard verbatim video vim voice vps wasabi web webhook wget work writing yaml youtube