pinned Running 3 GLMP - Genome Logic Modeling Project ๐งฌ Explore gene regulation logic with interactive flowcharts
Running ATAP โ Axiomatic Theories, Algorithms and Proofs ๐ Axiomatic theories, algorithms, proofs as directed graphs