Sewon's Wiki

User Tools

Site Tools

Trace:
sewon_park

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
sewon_park [2023/12/08 11:13] – [Links] sewonsewon_park [2023/12/08 11:13] – [Programming Projects] sewon
Line 268: Line 268:
     * July 24-27, 2017, Daejeon, Korea       * July 24-27, 2017, Daejeon, Korea  
  
-===== Programming Projects =====+===== Software =====
   * [[https://github.com/holgerthies/coq-aern | cAERN]]    * [[https://github.com/holgerthies/coq-aern | cAERN]] 
   * [[https://github.com/realcomputation/iRRAMx | iRRAMx]]   * [[https://github.com/realcomputation/iRRAMx | iRRAMx]]
sewon_park.txt · Last modified: 2024/05/09 18:54 by sewon