pibase_open

find open problems in topology from pibase
git clone https://a3nm.net/git/pibase_open/
Log | Files | Refs | README

get_theorems.sh (121B)

      1 #!/bin/bash
      2 
      3 for a in ~/apps/data/theorems/*; do
      4   B=$(basename "$a" | sed 's/\.md//')
      5   ./get_theorem.py "$B" <$a
      6 done
      7