fixedpoint.jp

2015/03

03/27

• Microsoft Research の Z3 Theorem Prover がオープンソースに

03/17

• SRFI 終了?

03/09

• 静的解析ツールで LibreOffice のバグを検出、およびその逆