g_theorem function

Simulation wrapper for Theorems 9 & 10

GulFM packageRead PDF manual
  • Maintainer: Guangbao Guo
  • License: MIT + file LICENSE
  • Last published: 2026-01-08

Useful links