You can play FormalCraft by adding the server in the Minecraft launcher.
On Minecraft Bedrock Edition, open the Minecraft launcher or Minecraft app. Go to the “Servers” tab and press “Add Server.” Enter the FormalCraft IP Address formalcraft.serveminecraft.netin the “Server Address” and the FormalCraft port 19132 in the “Port.” Then press “Save” and start playing.