GitHub repository: GramVite/GraFiS_Manual
Primary language: HTML
Description: Project fo online refbook manual by shapes for AIGS GraFiS-Tactic