MattsonThieme

## atp-exercises.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              8 stars
            
          
                taktoa
                / atp-exercises.md
            
            
              Last active
              August 20, 2022 01:26
            
          
    A Self-Taught Course in Automated Reasoning using Haskell

Variables, Terms, and Syntactic Unification

Resources


[Introduction to Unification Theory Lecture 1][itut-1]
Sections 8.1 and 8.2 of [The Handbook of Automated Reasoning][hoar]

Exercises


## build_install_TF_MKL_instructions.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              2 stars
            
          
                ravi9
                / build_install_TF_MKL_instructions.md
            
            
              Last active
              December 30, 2023 23:48
            
              
                Build and install Tensorflow with MKL from sources on Centos 7.x
              
          
    Build and install instructions for Tensorflow with MKLDNN on a clean Centos 7.x machine.

Docker setup if needed

Docker install instructions: https://github.com/ravi9/misc-readmes/blob/master/install-docker-centos.md
docker pull centos/devtoolset-6-toolchain-centos7  

#Login into the docker with with USER 0 with sudo permissions.
docker run -it --user 0 centos/devtoolset-6-toolchain-centos7:latest /bin/bash