Similar to Lean_(証明アシスタント)

• 

  Ruffle

  Ruffle (software)
  
• 

  ハーベスター (ソフトウェア)

  Harvester (HCI)